From: Mark <markjordanthom@gmail.com>
Date: Fri, 26 Jan 2024 06:25:06 +0000 (-0700)
Subject: add non chunk traversing cut family instructions to is_head_instr (#2307)
X-Git-Tag: v0.9.4~18
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6111f72b246c958d37f35f4132e15f09d367e79f;p=scryer-prolog.git

add non chunk traversing cut family instructions to is_head_instr (#2307)
---

diff --git a/build/instructions_template.rs b/build/instructions_template.rs
index 43c5ffb8..cf6a63f3 100644
--- a/build/instructions_template.rs
+++ b/build/instructions_template.rs
@@ -1195,7 +1195,10 @@ fn generate_instruction_preface() -> TokenStream {
                     Instruction::SetLocalValue(..) |
                     Instruction::SetVariable(..) |
                     Instruction::SetValue(..) |
-                    Instruction::SetVoid(..))
+                    Instruction::SetVoid(..) |
+                    Instruction::GetLevel(..) |
+                    Instruction::GetPrevLevel(..) |
+                    Instruction::GetCutPoint(..))
             }
 
             pub fn enqueue_functors(