diff options
| -rw-r--r-- | lists/shuffle.lisp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lists/shuffle.lisp b/lists/shuffle.lisp index 7fa59ca..61d7e08 100644 --- a/lists/shuffle.lisp +++ b/lists/shuffle.lisp @@ -24,7 +24,8 @@ (equal (nth i x) e) (< i (len x))) (member-equal e x)) - :rule-classes (:rewrite :forward-chaining))) + :rule-classes ((:rewrite :match-free :all) + (:forward-chaining :match-free :all)))) (local (defthm remove-nth-remove1 |