[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	unification-package.lisp 
Log Message:
See previous message.


--- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2006/07/19 20:28:49	1.2
+++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2007/05/21 12:33:15	1.3
@@ -14,7 +14,8 @@
    "*UNIFY-STRING-CASE-INSENSITIVE-P*"
    "UNIFY"
    "FIND-VARIABLE-VALUE"
-   "MAKE-EMPTY-ENVIRONMENT")
+   "MAKE-EMPTY-ENVIRONMENT"
+   "APPLY-SUBSTITUTION")
   (:export
    "MATCH"
    "MATCHING"