[cl-unification-cvs] CVS cl-unification
mantoniotti
mantoniotti at common-lisp.net
Wed Apr 15 10:12:22 UTC 2009
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))
More information about the Cl-unification-cvs
mailing list