From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 23 Feb 2021 01:33:35 +0000 (-0700)
Subject: no longer delay verify_attributes for cut instructions (#807)
X-Git-Tag: v0.9.0~150^2~18
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9067f76bd63f1405d725115bec885cdc94152509;p=scryer-prolog.git

no longer delay verify_attributes for cut instructions (#807)
---

diff --git a/src/instructions.rs b/src/instructions.rs
index 98002bce..5cdf472d 100644
--- a/src/instructions.rs
+++ b/src/instructions.rs
@@ -175,7 +175,6 @@ impl Line {
     #[inline]
     pub fn is_head_instr(&self) -> bool {
         match self {
-            &Line::Cut(_) => true,
             &Line::Fact(_) => true,
             &Line::Query(_) => true,
             _ => false,