From a61ba7a575920e11e0dd8d08903cf5a2ba6a9f98 Mon Sep 17 00:00:00 2001 From: Matthew DeHaven Date: Wed, 23 Aug 2023 18:44:18 -0500 Subject: [PATCH] Use conditional-p rather than duplicating the check directly --- shop3/explicit-stack-search/explicit-search.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shop3/explicit-stack-search/explicit-search.lisp b/shop3/explicit-stack-search/explicit-search.lisp index 23420dc9..4200a2e1 100644 --- a/shop3/explicit-stack-search/explicit-search.lisp +++ b/shop3/explicit-stack-search/explicit-search.lisp @@ -257,7 +257,7 @@ List of analogical-replay tables -- optional (setf (mode state) 'expand-primitive-task)) ((eql (get-task-name task) :loop) (setf (mode state) 'unfold-looping-task)) - ((member (get-task-name task) '(:if :when :unless)) + ((conditional-p (get-task-name task)) (setf (mode state) 'expand-conditional-task)) (t ; original nonprimitive: (setf (mode state) 'prepare-to-choose-method)))))