Merge pull request #771 from notoria/args

Handled the empty case (#770)
This commit is contained in:
Mark Thom
2021-01-31 12:11:57 -07:00
committed by GitHub

View File

@@ -341,7 +341,13 @@ impl PredicateClause {
_ => None, _ => None,
} }
}, },
PredicateClause::Rule(ref rule, ..) => Some(&rule.head.1), PredicateClause::Rule(ref rule, ..) => {
if rule.head.1.is_empty() {
None
} else {
Some(&rule.head.1)
}
}
} }
} }