From 750e7d91ed09ed8c0b94c1d74c3e30eec38d970f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 25 Dec 2017 14:01:36 -0700 Subject: [PATCH] trim down set_cp --- src/prolog/machine.rs | 2 -- 1 file changed, 2 deletions(-) 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(); -- 2.54.0