[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory clnet:/tmp/cvs-serv1437

Modified Files:
	apply-substitution.lisp 
Log Message:
Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE.


--- /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp	2007/05/21 12:33:05	1.1
+++ /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp	2008/07/10 17:39:16	1.2
@@ -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))