Produce error for bad indexed function names in SMT-LIB, remove antlr warning.

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 085cc11c840ca532c6acfd428bb47c2008bdbe08..e05ffaebebbbb84174d4d3e1e71edb120ee0a9ba 100644 (file)
--- 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) + "'"); }
   ;
 
 /**