set_local_value does not make values safe (#1812)

diff --git a/src/fixtures.rs b/src/fixtures.rs
index 01a5e38566b5f1c7545390fd72d00afa35a22baa..1f812e2cffeac491854130e3b8a7b703ece87a46 100644 (file)
--- 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 5b0b40b4f873e14c88ceeacc776371f6f0e4dff5..f846dea1a5a6251ca11179f376f56470c0c97b87 100644 (file)
--- 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() {