From: Mark <markjordanthom@gmail.com>
Date: Tue, 6 Jun 2023 06:58:44 +0000 (-0600)
Subject: set_local_value does not make values safe (#1812)
X-Git-Tag: v0.9.2~123^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4d982d22c140bea42e350ba4b423d15ad27f9b34;p=scryer-prolog.git

set_local_value does not make values safe (#1812)
---

diff --git a/src/fixtures.rs b/src/fixtures.rs
index 01a5e385..1f812e2c 100644
--- a/src/fixtures.rs
+++ b/src/fixtures.rs
@@ -357,9 +357,6 @@ impl UnsafeVarMarker {
                     *query_instr = Instruction::SetValue(RegType::Temp(*t));
                 } else {
                     *query_instr = Instruction::SetLocalValue(r);
-
-                    self.safe_perm_vars.insert(p);
-                    self.unsafe_perm_vars.remove(&p);
                 }
             _ => {}
         }
diff --git a/src/heap_print.rs b/src/heap_print.rs
index 5b0b40b4..f846dea1 100644
--- a/src/heap_print.rs
+++ b/src/heap_print.rs
@@ -848,7 +848,6 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
                 self.iter.heap,
                 heap_bound_deref(self.iter.heap, cell),
             );
-
             let cell = unmark_cell_bits!(cell);
 
             match self.var_names.get(&cell).cloned() {