reset attributed variables queue after successful verify_attributes interrupt (#669...

diff --git a/src/machine/attributed_variables.pl b/src/machine/attributed_variables.pl
index b5049e3a0003be50e4e9d3386daf7040e79ccc24..9756293e52afebfd30c6faa64d45d281e2d39dc2 100644 (file)
--- 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]) :-