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 49a2f7362a80cd3971f5c6c49c396e16d1615010..533e2cb2d03cde292981c622703912cdd76c8ad0 100644 (file)
--- 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;