From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 17 Mar 2018 21:46:12 +0000 (-0600)
Subject: remove extraneous comments.
X-Git-Tag: v0.8.110~520
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23afcdd6d45efdebaaa751c97bcc3e45bdcb5622;p=scryer-prolog.git

remove extraneous comments.
---

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()));