2 Mar
2011
2 Mar
'11
9: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)))