summaryrefslogtreecommitdiff
path: root/lists
diff options
context:
space:
mode:
Diffstat (limited to 'lists')
-rw-r--r--lists/shuffle.lisp3
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