trim down set_cp

diff --git a/src/prolog/machine.rs b/src/prolog/machine.rs
index 8c7239811f18f49e8e42a894c32a44b16c3e1736..014d20786dd13ef9c7002d9abb83b308e03de5f9 100644 (file)
--- 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();