From 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Fri, 19 Feb 2010 17:36:23 +0000 Subject: [PATCH] Changing minArity of AND/OR to 1 in SMT parser --- src/parser/antlr_parser.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp index 49a2f7362..533e2cb2d 100644 --- a/src/parser/antlr_parser.cpp +++ b/src/parser/antlr_parser.cpp @@ -221,16 +221,16 @@ unsigned int AntlrParser::minArity(Kind kind) { case VARIABLE: return 0; + case AND: case NOT: + case OR: return 1; - case AND: case APPLY: case EQUAL: case IFF: case IMPLIES: case PLUS: - case OR: case XOR: return 2; -- 2.30.2