From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Fri, 19 Feb 2010 17:36:23 +0000 (+0000)
Subject: Changing minArity of AND/OR to 1 in SMT parser
X-Git-Tag: cvc5-1.0.0~9243
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=34b455b1d74fdc06dd2f874fa2bc8d73127fbedf;p=cvc5.git

Changing minArity of AND/OR to 1 in SMT parser
---

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;