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 | |
| 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')
| -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); } |