From 31dfbc0c4aebad183f10d1145ce268cb73cc62de Mon Sep 17 00:00:00 2001 From: "Robert P. Goldman" Date: Mon, 23 Oct 2023 22:26:50 -0500 Subject: [PATCH] Update SHOP package names. --- shop3/pddl/validate-repairs.lisp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/shop3/pddl/validate-repairs.lisp b/shop3/pddl/validate-repairs.lisp index 4acbf0de..aa7f6a28 100644 --- a/shop3/pddl/validate-repairs.lisp +++ b/shop3/pddl/validate-repairs.lisp @@ -1,6 +1,6 @@ ;;;--------------------------------------------------------------------------- ;;; Copyright Smart Information Flow Technologies, d/b/a SIFT, LLC -;;; +;;; ;;; ;;;--------------------------------------------------------------------------- ;;; File Description: @@ -19,7 +19,7 @@ (on-failure nil)) (let* ((shop-domain (etypecase shop-domain (symbol (shop2:find-domain shop-domain)) - (shop2::domain shop-domain))) + (shop::domain shop-domain))) (pddl-domain (coerce-pddl-argument pddl-domain)) (pddl-problem (coerce-pddl-argument pddl-problem)) (pddl-plan-sexp (pddl-plan-for-replan repaired-plan :shop-domain shop-domain :package package)) @@ -116,7 +116,7 @@ the divergence pseudo-action injected so that validate can process the result." (let ((new-plan (copy-list repaired-plan))) (setf (nth pos new-plan) (list (intern (string :divergence) package))) - (pddl-utils:pddlify-tree (shop2::pddl-plan shop-domain new-plan))))) + (pddl-utils:pddlify-tree (shop::pddl-plan shop-domain new-plan))))) (defun find-divergence (shop-plan) (find-if #'(lambda (x) (when (listp x) ; ignore costs, if present