fix

calyxir · Nov 12, 2024 · 5f8200a · 5f8200a
1 parent accc1d7
commit 5f8200a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/interp/src/flatten/structures/environment/env.rs b/interp/src/flatten/structures/environment/env.rs
@@ -1475,6 +1475,10 @@ impl<C: AsRef<Context> + Clone> Simulator<C> {
     ) -> DataDump {
         self.base.dump_memories(dump_registers, all_mems)
     }
+
+    pub fn print_pc_string(&self) {
+        self.base.print_pc_string()
+    }
 }
 
 impl<C: AsRef<Context> + Clone> BaseSimulator<C> {