diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-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) + "'"); } ; /** |