diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-18 02:34:55 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-18 02:34:55 +0900 |
| commit | b22f11af26fe3108dbd9636b3e5c6973ab57e6dd (patch) | |
| tree | b72a58f33a67cea575d5740fccad45a99d5d9de4 | |
| parent | 9278fc03885110fed1ecc4fa895b73443e224816 (diff) | |
lists/shuffle: Solve Free warnings.
| -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 |