diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index d11130aac..24ebf9bfd 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -409,7 +409,6 @@ void SmtEngine::defineFunction(Expr func, const std::vector<Expr>& formals, Expr formula) { Trace("smt") << "SMT defineFunction(" << func << ")" << endl; - /* if(Dump.isOn("declarations")) { stringstream ss; ss << Expr::setlanguage(Expr::setlanguage::getLanguage(Dump("declarations"))) @@ -417,7 +416,6 @@ void SmtEngine::defineFunction(Expr func, Dump("declarations") << DefineFunctionCommand(ss.str(), func, formals, formula) << endl; } - */ NodeManagerScope nms(d_nodeManager); // type check body |