Sun Feb  7 07:40:23 UTC 2010  pix@kepibu.org
  * Declare ftype of find-variable-value and v? properly
diff -rN -u old-cl-unification-1/substitutions.lisp new-cl-unification-1/substitutions.lisp
--- old-cl-unification-1/substitutions.lisp	2013-07-08 10:45:09.000000000 +0000
+++ new-cl-unification-1/substitutions.lisp	2013-07-08 10:45:09.000000000 +0000
@@ -166,9 +166,11 @@
 
 
 (declaim (inline v?))
-(declaim (ftype (function (symbol environment &optional boolean)
+(declaim (ftype (function (symbol &optional environment boolean)
+                          (values t boolean))
+                find-variable-value)
+         (ftype (function (symbol environment &optional boolean)
                           (values t boolean))
-                find-variable-value
                 v?))
 
 (defun v? (s env &optional (plain-symbol-p nil))