From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 5 Feb 2018 05:28:41 +0000 (-0700)
Subject: cosmetic touchups;
X-Git-Tag: v0.8.110~581
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8326a573d9e24ffe02c8808e8621ca48149775d6;p=scryer-prolog.git

cosmetic touchups;
---

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