From 8326a573d9e24ffe02c8808e8621ca48149775d6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 4 Feb 2018 22:28:41 -0700 Subject: [PATCH] cosmetic touchups; --- src/prolog/machine/machine_state_impl.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs index a6142676..9ff12250 100644 --- a/src/prolog/machine/machine_state_impl.rs +++ b/src/prolog/machine/machine_state_impl.rs @@ -158,12 +158,11 @@ impl MachineState { fn trail(&mut self, r: Ref) { match r { - Ref::HeapCell(hc) => { + Ref::HeapCell(hc) => if hc < self.hb { self.trail.push(r); self.tr += 1; - } - }, + }, Ref::StackCell(fr, _) => { let fr_gi = self.and_stack[fr].global_index; let b_gi = if !self.or_stack.is_empty() { -- 2.54.0