From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 18 Jan 2018 06:19:49 +0000 (-0700)
Subject: move instruction increment
X-Git-Tag: v0.8.110~616
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8f012ecfd38f10430d9922379229d110378ebe33;p=scryer-prolog.git

move instruction increment
---

diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs
index aae89b19..10825999 100644
--- a/src/prolog/machine/machine_state.rs
+++ b/src/prolog/machine/machine_state.rs
@@ -553,8 +553,7 @@ impl MachineState {
                             return;
                         }
 
-                        self.interms[t - 1] = Number::Integer(Rc::new(n1.div_floor(&n2)));
-                        self.p += 1;
+                        self.interms[t - 1] = Number::Integer(Rc::new(n1.div_floor(&n2)));                        
                     },
                     _ => {
                         let atom_tbl = self.atom_tbl.clone();
@@ -565,6 +564,8 @@ impl MachineState {
                         return;
                     }
                 }
+
+                self.p += 1;
             },
             &ArithmeticInstruction::IDiv(ref a1, ref a2, t) => {
                 let n1 = try_or_fail!(self, self.get_number(a1));