no longer delay verify_attributes for cut instructions (#807)
This commit is contained in:
@@ -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,
|
||||
|
||||
Reference in New Issue
Block a user