Thu Dec 17 16:44:46 UTC 2009  mantoniotti
  * Minor cosmetic changes.
diff -rN -u old-cl-unification-1/unifier.lisp new-cl-unification-1/unifier.lisp
--- old-cl-unification-1/unifier.lisp	2013-07-24 17:30:21.000000000 +0000
+++ new-cl-unification-1/unifier.lisp	2013-07-24 17:30:21.000000000 +0000
@@ -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
         ))))