diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-27 12:21:20 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-27 12:21:20 -0500 |
commit | 4b75a8f448288f416dcfeb5672c915c7add877da (patch) | |
tree | b1604d2d12ab431f97714aa6d392394511255df1 | |
parent | e23a40c0d121209afecff21ce5c6ed6e644bfb0e (diff) |
Fix for ANTLR warning.
-rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 13850aba6..efddb031b 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -338,7 +338,7 @@ command returns [CVC4::Command* cmd = NULL] GET_VALUE_TOK { PARSER_STATE->checkThatLogicIsSet(); } ( LPAREN_TOK termList[terms,expr] RPAREN_TOK { $cmd = new GetValueCommand(terms); } - | term[expr, expr2] + | ~LPAREN_TOK { PARSER_STATE->parseError("The get-value command expects a list of terms. Perhaps you forgot a pair of parentheses?"); } ) | /* get-assignment */ GET_ASSIGNMENT_TOK { PARSER_STATE->checkThatLogicIsSet(); } |