diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-19 16:39:14 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-19 16:39:14 -0400 |
| commit | 74754612cdc6b57691069ad1d5df752487dd9d1e (patch) | |
| tree | aea6bc9578d11e285353d2f31d2fd564a3ad769b | |
| parent | 866492a200cbbf069b6c3466e36c30ac13741ae3 (diff) | |
| parent | d69a876f0701441f7115828a5044c628e53abdd5 (diff) | |
Merge branch '1.4.x'
| -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 1c3de1885..bd7c96dce 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1256,8 +1256,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) + "'"); } ; /** |