[cl-unification-cvs] CVS cl-unification

[rbrown]

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

Modified Files:
	ChangeLog unifier.lisp 
Log Message:
unifier.lisp: Allow vectors to unify with sequence templates.
test/unification-tests.lisp: new test to verify the change


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2011/02/16 16:30:04	1.10
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2011/02/24 20:16:01	1.11
@@ -1,3 +1,8 @@
+2011-02-24  Robert Brown  <robert.brown at gmail.com>
+
+	* unifier.lisp: Allow vectors to unify with sequence templates.
+	* test/unification-tests.lisp: new test to verify the change
+
 2011-02-16  Robert Brown  <robert.brown at gmail.com>
 
 	* cl-unification.asd: Add support for asdf:test-system.
--- /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2011/02/11 17:49:38	1.9
+++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp	2011/02/24 20:16:01	1.10
@@ -476,7 +476,7 @@
          :format-arguments (list a b)))
 
 
-(defmethod unify ((a vector) (b vector-template)
+(defmethod unify ((a vector) (b sequence-template)
                   &optional (env (make-empty-environment))
                   &key &allow-other-keys)
   (let ((template-lambda-list (sequence-template-lambda-list b))