cosmetic touchups;

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index a61426762ce926038f358195f38f60cadbad3677..9ff1225070afa9f3862073fa84804f173132c330 100644 (file)
--- 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() {