[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory cl-net:/tmp/cvs-serv8323

Modified Files:
	substitutions.lisp 
Log Message:
Fixed typo.  Double definition of PUSH-FRAME.

Marco


--- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2011/02/26 09:20:45	1.7
+++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2011/03/02 21:43:19	1.8
@@ -128,7 +128,8 @@
   (declare (type environment env))
   (push (make-frame) (environment-frames env)))
 
-(defun push-frame (env)
+
+(defun pop-frame (env)
   (declare (type environment env))
   (pop (environment-frames env)))