diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-09-13 20:39:13 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-09-13 20:39:13 +0000 |
commit | 01dfa806851502267e1032483fec48e8b4373634 (patch) | |
tree | 8103a5a5a763fecfc42793bf5c3c88290bff775b /src/smt/smt_engine.cpp | |
parent | dce6be13f8eb90006c7ceb8d43a8a78da23ca838 (diff) |
ensure that get-value and get-model are consistent, rewrite function value bodies, do not dag-ify model output
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index ba7973405..e298ca2a2 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -2238,6 +2238,7 @@ StatisticsRegistry* SmtEngine::getStatisticsRegistry() const { void SmtEngine::printModel( std::ostream& out, Model* m ){ SmtScope smts(this); + Expr::dag::Scope scope(out, false); Printer::getPrinter(options::outputLanguage())->toStream( out, m ); //m->toStream(out); } |