diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
| -rw-r--r-- | src/theory/theory_engine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index d29195011..5af64c5dd 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -32,8 +32,7 @@ typedef expr::Attribute<PreRegisteredTag, bool> PreRegistered; Node TheoryEngine::preprocess(TNode t) { Node top = rewrite(t); - Debug("rewrite") << "rewrote: " << t << "\nto : " << top << "\n"; - return top; + Debug("rewrite") << "rewrote: " << t << endl << "to : " << top << endl; list<TNode> toReg; toReg.push_back(top); |