Thu Jul 10 17:39:16 UTC 2008 mantoniotti
* Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE.
diff -rN -u old-cl-unification-1/apply-substitution.lisp new-cl-unification-1/apply-substitution.lisp
--- old-cl-unification-1/apply-substitution.lisp 2013-07-17 15:12:27.000000000 +0000
+++ new-cl-unification-1/apply-substitution.lisp 2013-07-17 15:12:27.000000000 +0000
@@ -18,7 +18,8 @@
(multiple-value-bind (val foundp)
(find-variable-value s substitution)
(cond (foundp val)
- (t (warn "~S is a free variable in the current environment." s)
+ (t (warn "~S is a free variable in the current environment."
+ s)
s))))
(t s)))
@@ -30,9 +31,6 @@
(defmethod apply-substitution ((substitution environment) (l null))
'())
-(export '(apply-substitution))
-
-
(defun ground-term (term &optional (substitution (make-empty-environment)))
(apply-substitution substitution term))