From b22f11af26fe3108dbd9636b3e5c6973ab57e6dd Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Mon, 18 Jul 2022 02:34:55 +0900 Subject: lists/shuffle: Solve Free warnings. --- lists/shuffle.lisp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3