diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 21f82f638..55e10724b 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -942,7 +942,7 @@ declareVariables[CVC4::Command*& cmd, CVC4::Type& t, const std::vector<std::stri i != i_end; ++i) { PARSER_STATE->checkDeclaration(*i, CHECK_UNDECLARED, SYM_VARIABLE); - Expr func = EXPR_MANAGER->mkVar(*i, f.getType()); + Expr func = EXPR_MANAGER->mkVar(*i, t); PARSER_STATE->defineFunction(*i, f); Command* decl = new DefineFunctionCommand(*i, func, f); seq->addCommand(decl); @@ -2094,6 +2094,12 @@ NUMBER_OR_RANGEOP ) ; +// these empty fragments remove "no lexer rule corresponding to token" warnings +fragment INTEGER_LITERAL:; +fragment DECIMAL_LITERAL:; +fragment DOT:; +fragment DOTDOT:; + /** * Matches the hexidecimal digits (0-9, a-f, A-F) */ |