[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	unifier.lisp 
Log Message:
Minor cosmetic changes.


--- /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2009/04/15 10:14:24	1.6
+++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2009/12/17 16:44:46	1.7
@@ -225,14 +225,16 @@
 
 (defgeneric untyped-unify (a b &optional env))
 
-(defmethod untyped-unify ((as list) (bs vector) &optional (env (make-empty-environment)))
+(defmethod untyped-unify ((as list) (bs vector)
+                          &optional (env (make-empty-environment)))
   (loop for a in as
         for b across bs
         for mgu = (unify a b env) then (unify a b mgu)
         finally (return mgu)))
 
 
-(defmethod untyped-unify ((as vector) (bs list) &optional (env (make-empty-environment)))
+(defmethod untyped-unify ((as vector) (bs list)
+                          &optional (env (make-empty-environment)))
   (untyped-unify bs as env))
 
 (defmethod untyped-unify ((a t) (b t) &optional (env (make-empty-environment)))
@@ -449,7 +451,7 @@
           (setf env (unify (subseq a n-vars (+ n-vars n-optionals)) optionals env)))
         (when (and rest (>= ll (+ n-vars n-optionals)))
           (setf env (unify (subseq a (+ n-vars n-optionals)) (first rest) env)))
-        (when keys (warn "Sorry mathcing of keywords ~S not yet implemented." keys))
+        (when keys (warn "Sorry matching of keywords ~S not yet implemented." keys))
         env
         ))))