From: Mark <markjordanthom@gmail.com>
Date: Thu, 1 Feb 2024 16:26:58 +0000 (-0700)
Subject: record stub choice point as block
X-Git-Tag: v0.9.4~3^2~12
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cbb422f69de2c03f29abd88ddbb9ffaabdeea581;p=scryer-prolog.git

record stub choice point as block
---

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 {