From f6d69b6051260f89abea3e3c0a3daa742bdbe776 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 26 Sep 2021 18:57:45 -0600 Subject: [PATCH] reset attributed variables queue after successful verify_attributes interrupt (#669, etc) --- src/machine/attributed_variables.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/machine/attributed_variables.pl b/src/machine/attributed_variables.pl index b5049e3a..9756293e 100644 --- a/src/machine/attributed_variables.pl +++ b/src/machine/attributed_variables.pl @@ -5,6 +5,7 @@ driver(Vars, Values) :- iterate(Vars, Values, ListOfListsOfGoalLists), !, call_goals(ListOfListsOfGoalLists), + '$reset_attr_var_state', '$return_from_verify_attr'. iterate([Var|VarBindings], [Value|ValueBindings], [ListOfGoalLists | ListsCubed]) :- -- 2.54.0