diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-19 16:39:06 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-19 16:39:06 -0400 |
| commit | d69a876f0701441f7115828a5044c628e53abdd5 (patch) | |
| tree | 6f0d46071f824efae199c75a2a0d164e4ca85139 /src/parser/smt2 | |
| parent | d5e67f7263cd0d44e6f15a64940431f385ef873b (diff) | |
Produce error for bad indexed function names in SMT-LIB, remove antlr warning.
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 085cc11c8..e05ffaebe 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1236,8 +1236,8 @@ badIndexedFunctionName @declarations { std::string name; } - : symbol[name,CHECK_NONE,SYM_VARIABLE] INTEGER_LITERAL+ - { PARSER_STATE->parseError(std::string("Unknown indexed function `") + name + "'"); } + : id=(SIMPLE_SYMBOL | QUOTED_SYMBOL | UNTERMINATED_QUOTED_SYMBOL) + { PARSER_STATE->parseError(std::string("Unknown indexed function `") + AntlrInput::tokenText($id) + "'"); } ; /** |