2 Mar
2011
2 Mar
'11
10:43 p.m.
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)))