diff options
Diffstat (limited to 'src/smt/preprocessor.cpp')
| -rw-r--r-- | src/smt/preprocessor.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/smt/preprocessor.cpp b/src/smt/preprocessor.cpp index 3aed58b30..1835e61db 100644 --- a/src/smt/preprocessor.cpp +++ b/src/smt/preprocessor.cpp @@ -22,7 +22,6 @@ #include "printer/printer.h" #include "smt/abstract_values.h" #include "smt/assertions.h" -#include "smt/dump.h" #include "smt/env.h" #include "smt/preprocess_proof_generator.h" #include "smt/solver_engine.h" @@ -145,10 +144,6 @@ void Preprocessor::expandDefinitions(std::vector<Node>& ns) Node Preprocessor::simplify(const Node& node) { Trace("smt") << "SMT simplify(" << node << ")" << endl; - if (Dump.isOn("benchmark")) - { - d_env.getPrinter().toStreamCmdSimplify(d_env.getDumpOut(), node); - } Node ret = expandDefinitions(node); ret = rewrite(ret); return ret; |