From cbb422f69de2c03f29abd88ddbb9ffaabdeea581 Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Thu, 1 Feb 2024 09:26:58 -0700
Subject: [PATCH] record stub choice point as block

---
 src/machine/lib_machine.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 346e0ebc..9b218f51 100644
--- 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 {
-- 
2.54.0