From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 25 Dec 2017 21:01:36 +0000 (-0700)
Subject: trim down set_cp
X-Git-Tag: v0.8.110~642
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=750e7d91ed09ed8c0b94c1d74c3e30eec38d970f;p=scryer-prolog.git

trim down set_cp
---

diff --git a/src/prolog/machine.rs b/src/prolog/machine.rs
index 8c723981..014d2078 100644
--- a/src/prolog/machine.rs
+++ b/src/prolog/machine.rs
@@ -1660,8 +1660,6 @@ impl MachineState {
 
                 match addr {
                     Addr::Con(Constant::Usize(nb)) => {
-                        self.b0 = nb;
-
                         if self.b > nb {
                             self.b = nb;
                             self.tidy_trail();