From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 18 Sep 2025 03:31:03 +0000 (-0700)
Subject: add missing P increment to GetPartialString (#3089)
X-Git-Tag: v0.10.0~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fc6e007ad163d558cde7e16058bc656b54f75b69;p=scryer-prolog.git

add missing P increment to GetPartialString (#3089)
---

diff --git a/src/machine/dispatch.rs b/src/machine/dispatch.rs
index c1b394c6..fc13d825 100644
--- a/src/machine/dispatch.rs
+++ b/src/machine/dispatch.rs
@@ -2817,6 +2817,7 @@ impl Machine {
                                 self.machine_st.mode = MachineMode::Write;
 
                                 debug_assert!(!self.machine_st.fail);
+                                self.machine_st.p += 1;
 
                                 continue;
                             }