From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 27 Sep 2021 00:57:45 +0000 (-0600)
Subject: reset attributed variables queue after successful verify_attributes interrupt (#669... 
X-Git-Tag: v0.9.0~43
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f6d69b6051260f89abea3e3c0a3daa742bdbe776;p=scryer-prolog.git

reset attributed variables queue after successful verify_attributes interrupt (#669, etc)
---

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]) :-