Wed Feb  3 09:53:59 UTC 2010  pix@kepibu.org
  * These are no longer failures.  Woo!
diff -rN -u old-cl-unification/test/unification-tests.lisp new-cl-unification/test/unification-tests.lisp
--- old-cl-unification/test/unification-tests.lisp	2013-09-15 01:40:54.000000000 +0000
+++ new-cl-unification/test/unification-tests.lisp	2013-09-15 01:40:54.000000000 +0000
@@ -215,13 +215,11 @@
 
   (test-error (match ('(x) '(x) :errorp nil)
                 (error 'inner-error))
-              :condition-type 'inner-error
-              :known-failure t)
+              :condition-type 'inner-error)
 
   (test-error (matchf ((x) '(x) :errorp nil)
                 (error 'inner-error))
-              :condition-type 'inner-error
-              :known-failure t)
+              :condition-type 'inner-error)
 
   (with-tests (:name "final t-or-otherwise")
     (test :success (matching ()
@@ -253,15 +251,13 @@
                           ('(y) :fail)
                           ('(x) (error 'inner-error))
                           ('(?x) x))
-              :condition-type 'inner-error
-              :known-failure t)
+              :condition-type 'inner-error)
 
   (test-error (matchf-case ('(x))
                            ((y)  :fail)
                            ((x)  (error 'inner-error))
                            ((?x) x))
-              :condition-type 'inner-error
-              :known-failure t)
+              :condition-type 'inner-error)
 
   (test 'sym (match-case ('(sym))
                           ('(a)  :fail)