diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:32:05 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:37:32 -0400 |
commit | ea22ebcbd69b24906d2214b7d294261578ce67a7 (patch) | |
tree | e64d46a849d4e40f544bbb9199fe08e3fce7ef58 /src/main/driver_unified.cpp | |
parent | 5ca5dd42d95ce08a4ea456212fffcd2672e31fc1 (diff) |
Set dumping options from (set-option..) and API more directly.
Diffstat (limited to 'src/main/driver_unified.cpp')
-rw-r--r-- | src/main/driver_unified.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index bf66629dd..adc40a9d1 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -42,7 +42,6 @@ #include "smt/options.h" #include "theory/uf/options.h" #include "util/output.h" -#include "util/dump.h" #include "util/result.h" #include "util/statistics_registry.h" @@ -184,12 +183,10 @@ int runCvc4(int argc, char* argv[], Options& opts) { ChatChannel.setStream(CVC4::null_os); MessageChannel.setStream(CVC4::null_os); WarningChannel.setStream(CVC4::null_os); - DumpChannel.setStream(CVC4::null_os); } // important even for muzzled builds (to get result output right) *opts[options::out] << Expr::setlanguage(opts[options::outputLanguage]); - DumpChannel.getStream() << Expr::setlanguage(opts[options::outputLanguage]); // Create the expression manager using appropriate options ExprManager* exprMgr; |