diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 55e10724b..bbeee4f7f 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -922,9 +922,9 @@ declareVariables[CVC4::Command*& cmd, CVC4::Type& t, const std::vector<std::stri } } else { Debug("parser") << " " << *i << " not declared" << std::endl; - PARSER_STATE->mkVar(*i, t); + Expr func = PARSER_STATE->mkVar(*i, t); if(topLevel) { - Command* decl = new DeclareFunctionCommand(*i, t); + Command* decl = new DeclareFunctionCommand(*i, func, t); seq->addCommand(decl); } } |