diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-19 17:36:23 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-19 17:36:23 +0000 |
| commit | 34b455b1d74fdc06dd2f874fa2bc8d73127fbedf (patch) | |
| tree | f662516ae1ce26410fdaec2752ac7bb034c79c95 /src/parser | |
| parent | 9f8f4ae9ef9d9d79973b77b6c61af4c5db034841 (diff) | |
Changing minArity of AND/OR to 1 in SMT parser
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/antlr_parser.cpp | 4 |
1 files 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; |