diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index d89b6e802..6f775f6b5 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -675,8 +675,7 @@ void SmtEngine::defineFunction(Node func, } DefineFunctionNodeCommand nc(ss.str(), func, nFormals, formula); - d_dumpm->addToModelCommandAndDump( - nc, ExprManager::VAR_FLAG_DEFINED, true, "declarations"); + d_dumpm->addToDump(nc, "declarations"); // type check body debugCheckFunctionBody(formula, formals, func); |