prepare for batch processing

This commit is contained in:
Mark Thom
2018-01-29 16:08:24 -07:00
parent 53c6fc1f1b
commit a1070ceacb
2 changed files with 1 additions and 2 deletions

View File

@@ -267,7 +267,6 @@ pub enum ParserError
InadmissibleQueryTerm,
IncompleteReduction,
InconsistentEntry, // was InconsistentDeclaration.
// InconsistentPredicate, //TODO: admit this is not needed.
InvalidRuleHead,
ParseBigInt,
ParseFloat(ParseFloatError),