record stub choice point as block

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 346e0ebccef413cc3f952ddb05daa8eed24d938e..9b218f51bd5ea2f13a4ccdebde50ca6dedefbd32 100644 (file)
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -58,6 +58,7 @@ impl Machine {
 
         self.machine_st.b = stub_b;
         self.machine_st.hb = self.machine_st.heap.len();
+        self.machine_st.block = stub_b;
     }
 
     pub fn run_query(&mut self, query: String) -> QueryResult {