From a70c100e0de9aac21a1b38492371b0ae2c4eaf9d Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 4 Nov 2017 10:23:58 -0600
Subject: [PATCH] proceed is a jump instruction

---
 src/prolog/ast.rs     | 1 +
 src/prolog/machine.rs | 6 +-----
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index 8ce3e393..2f509fde 100644
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -457,6 +457,7 @@ impl ControlInstruction {
             &ControlInstruction::ThrowCall => true,
             &ControlInstruction::ThrowExecute => true,
             &ControlInstruction::Goto(_, _) => true,
+            &ControlInstruction::Proceed => true,
             _ => false
         }
     }
diff --git a/src/prolog/machine.rs b/src/prolog/machine.rs
index c7b5d4c0..f99ae486 100644
--- a/src/prolog/machine.rs
+++ b/src/prolog/machine.rs
@@ -412,11 +412,7 @@ impl Machine {
                     &Line::Control(ref ctrl_instr) if ctrl_instr.is_jump_instr() => {
                         self.record_var_places(cn, alloc_locs, heap_locs);
                         cn += 1;
-                    },
-                    &Line::BuiltIn(BuiltInInstruction::IsAtomic(_))
-                  | &Line::BuiltIn(BuiltInInstruction::IsVar(_)) => {
-                      self.record_var_places(cn, alloc_locs, heap_locs);
-                    },
+                    },                    
                     _ => {}
                 }
 
-- 
2.54.0