From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 Dec 2017 19:31:01 +0000 (-0700)
Subject: is_call and is_execute are jump instructions.
X-Git-Tag: v0.8.110~653
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9d944e2268329b97658a510092e8998c9533c679;p=scryer-prolog.git

is_call and is_execute are jump instructions.
---

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index bf5e467e..a8c9f376 100644
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -756,6 +756,8 @@ impl ControlInstruction {
             &ControlInstruction::ThrowExecute => true,
             &ControlInstruction::Goto(_, _) => true,
             &ControlInstruction::Proceed => true,
+            &ControlInstruction::IsCall(_, _) => true,
+            &ControlInstruction::IsExecute(_, _) => true,
             _ => false
         }
     }