eliminate lingering attribute goals

diff --git a/Cargo.toml b/Cargo.toml
index 3f54571c4fba0c9e9332f5b0b5935c9cf4f5ef08..3f8f343c67da30b7701ee55068251599e56afd67 100644 (file)
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "scryer-prolog"
-version = "0.8.111"
+version = "0.8.112"
 authors = ["Mark Thom <[email protected]>"]
 build = "build.rs"
 repository = "https://github.com/mthom/scryer-prolog"

diff --git a/src/prolog/fixtures.rs b/src/prolog/fixtures.rs
index 31cc54c5cdf3cd04b098fb569df3b52c142daa44..5decc89c2a6d2af3ba6fae585d72131481d6823c 100644 (file)
--- a/src/prolog/fixtures.rs
+++ b/src/prolog/fixtures.rs
@@ -191,7 +191,7 @@ impl<'a> VariableFixtures<'a> {
 
         for term_ref in iter {
             if let &TermRef::Var(lvl, cell, ref var) = &term_ref {
-                let mut status = self.perm_vars.remove(var).unwrap_or((
+                let mut status = self.perm_vars.swap_remove(var).unwrap_or((
                     VarStatus::Temp(chunk_num, TempVarData::new(lt_arity)),
                     Vec::new(),
                 ));

diff --git a/src/prolog/machine/attributed_variables.rs b/src/prolog/machine/attributed_variables.rs
index afba3106b036a60bd9a7af71cecac41466d04691..c1af6aabf67cd730e64cd1fa3ae5920e9dddc299 100644 (file)
--- a/src/prolog/machine/attributed_variables.rs
+++ b/src/prolog/machine/attributed_variables.rs
@@ -34,6 +34,7 @@ impl AttrVarInitializer {
     pub(super) fn reset(&mut self) {
         self.attr_var_queue.clear();
         self.bindings.clear();
+       self.attribute_goals.clear();
     }
 }