On 8/16/09, Richard Fateman <fateman at cs.berkeley.edu> wrote: > You must have set *print-circle* to t in Lisp. Yeah --- I threw (setq *print-circle* t) into init-cl.lisp because I was tired of getting stack overflow or other nuttiness from trying to print stuff in the assume database. Robert Dodier