From 3c344b176b87594ade5bb22b1b2d6489edb3a130 Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Tue, 6 Jun 2023 00:58:44 -0600
Subject: [PATCH] set_local_value does not make values safe (#1812)

---
 src/fixtures.rs   | 3 ---
 src/heap_print.rs | 1 -
 2 files changed, 4 deletions(-)

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 7eba8aca..21835d49 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() {
-- 
2.54.0