no longer delay verify_attributes for cut instructions (#807)

diff --git a/src/instructions.rs b/src/instructions.rs
index 98002bceb6b68a68c938aa2f33747da27f78da84..5cdf472d14279d30c0e7c709fa05a3233886c7e3 100644 (file)
--- 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,