Hello Abhijit, I remember having fixed this bug some months ago. Please try the latest head of Elephant 1.0 via
darcs get http://www.common-lisp.net/project/elephant/darcs/elephant-1.0 Leslie _______________________________________________ elephant-devel site list elephant-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/elephant-devel
