From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 25 Sep 2018 12:50:19 +0000 (-0300)
Subject: add tidy_pstr_trail to neck_cut
X-Git-Tag: v0.8.110~360^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d52ffb0e923f2191d13170b26d24cc21f3f4d393;p=scryer-prolog.git

add tidy_pstr_trail to neck_cut
---

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 5e2245f5..6b1015aa 100644
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -2279,6 +2279,7 @@ impl MachineState {
                 if b > b0 {
                     self.b = b0;
                     self.tidy_trail();
+		    self.tidy_pstr_trail();
                     self.or_stack.truncate(self.b);
                 }