[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	substitutions.lisp 
Log Message:
See previous message.


--- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2004/11/17 22:19:54	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp	2007/05/21 12:33:09	1.2
@@ -24,11 +24,22 @@
   (declare (type binding b))
   (car b))
 
+(defun (setf binding-variable) (v b)
+  (declare (type binding b))
+  (setf (car b) v))
+
+
 (defun binding-value (b)
   (declare (type binding b))
   (cdr b))
 
 
+(defun (setf binding-value) (v b)
+  (declare (type binding b))
+  (setf (cdr b) v))
+
+
+
 (define-condition unification-variable-unbound (unbound-variable)
   ()
   )