Wed Apr 15 10:12:22 UTC 2009 mantoniotti
* Some 'diff' unfathomable change happened.
diff -rN -u old-cl-unification-1/variables.lisp new-cl-unification-1/variables.lisp
--- old-cl-unification-1/variables.lisp 2013-06-28 11:13:19.000000000 +0000
+++ new-cl-unification-1/variables.lisp 2013-06-28 11:13:19.000000000 +0000
@@ -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))