From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 29 Jan 2018 23:08:24 +0000 (-0700)
Subject: prepare for batch processing
X-Git-Tag: v0.8.110~594
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a1070ceacb2bf4423dceae204fa1d54c5d13815e;p=scryer-prolog.git

prepare for batch processing
---

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index 91232738..1cb783e0 100644
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -267,7 +267,6 @@ pub enum ParserError
     InadmissibleQueryTerm,
     IncompleteReduction,
     InconsistentEntry, // was InconsistentDeclaration.
-//    InconsistentPredicate, //TODO: admit this is not needed.
     InvalidRuleHead,
     ParseBigInt,
     ParseFloat(ParseFloatError),
diff --git a/src/prolog/parser b/src/prolog/parser
index 067301c7..c7a23b69 160000
--- a/src/prolog/parser
+++ b/src/prolog/parser
@@ -1 +1 @@
-Subproject commit 067301c7f7806a8e83bc8016803bd8f4ab299586
+Subproject commit c7a23b69559ddefd138bb7c42046ab1b8b2156a6