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-07-24 17:42:16.000000000 +0000
+++ new-cl-unification-1/variables.lisp	2013-07-24 17:42:16.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))