From 23afcdd6d45efdebaaa751c97bcc3e45bdcb5622 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 17 Mar 2018 15:46:12 -0600 Subject: [PATCH] remove extraneous comments. --- src/prolog/machine/machine_state_impl.rs | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs index 9a518d66..f33d87b3 100644 --- a/src/prolog/machine/machine_state_impl.rs +++ b/src/prolog/machine/machine_state_impl.rs @@ -1198,8 +1198,6 @@ impl MachineState { } fn reset_block(&mut self, addr: Addr) { - // let addr = self.deref(self[temp_v!(1)].clone()); - match self.store(addr) { Addr::Con(Constant::Usize(b)) => { self.block = b; @@ -1505,22 +1503,6 @@ impl MachineState { }, &BuiltInInstruction::SetCutPoint(r) => cut_policy.cut(self, r), - /*{ - let addr = self.store(self.deref(self[r].clone())); - - match addr { - Addr::Con(Constant::Usize(nb)) => { - if self.b > nb { - self.b = nb; - self.tidy_trail(); - self.or_stack.truncate(self.b); - } - - self.p += 1; - }, - _ => self.fail = true - }; - },*/ &BuiltInInstruction::CleanUpBlock => { let nb = self.store(self.deref(self[temp_v!(1)].clone())); -- 2.54.0