diff options
-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) + "'"); } ; /** |