From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 14 May 2022 17:01:26 +0000 (-0600)
Subject: consider deallocate a head instruction (#1473)
X-Git-Tag: v0.9.1~31
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e6438e79d8f52bcc7d2260e6637654cd24c379a7;p=scryer-prolog.git

consider deallocate a head instruction (#1473)
---

diff --git a/build/instructions_template.rs b/build/instructions_template.rs
index 75a7d60d..0cf0a6b5 100644
--- a/build/instructions_template.rs
+++ b/build/instructions_template.rs
@@ -1099,6 +1099,7 @@ fn generate_instruction_preface() -> TokenStream {
             #[inline]
             pub fn is_head_instr(&self) -> bool {
                 match self {
+                    Instruction::Deallocate |
                     Instruction::GetConstant(..) |
                     Instruction::GetList(..) |
                     Instruction::GetPartialString(..) |