[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