proceed is a jump instruction

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index 8ce3e39332418bcaa0ef6d729f60213ce96714f0..2f509fde8dbe4d3a28bb37b3546059a75e5c4b9c 100644 (file)
--- 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 c7b5d4c0d52dcf1366abde4380e4cbbe82192cd5..f99ae4864329d255039272a345f1f6112548fe9e 100644 (file)
--- 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);
-                    },
+                    },                    
                     _ => {}
                 }