is_call and is_execute are jump instructions.

2017-12-10 12:31:01 -07:00
parent 37f4450c34
commit 9d944e2268
1 changed files with 2 additions and 0 deletions
--- 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
        }
    }