[cl-unification-cvs] CVS cl-unification

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv27120

Modified Files: variables.lisp Log Message: Some 'diff' unfathomable change happened.

--- /project/cl-unification/cvsroot/cl-unification/variables.lisp 2008/07/13 13:10:48 1.2 +++ /project/cl-unification/cvsroot/cl-unification/variables.lisp 2009/04/15 10:12:22 1.3 @@ -3,7 +3,7 @@ (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow.

-(defun make-var-name (&optional (s (gensym)) (package *package*)) +(defun make-var-name (&optional (s (gensym "UNIFVAR-")) (package *package*)) (intern (concatenate 'string "?" (symbol-name s)) package))