From a82014f927672e01ca57972d0c1169ed3f3c4d65 Mon Sep 17 00:00:00 2001 From: Tim King Date: Tue, 9 Mar 2010 14:38:51 +0000 Subject: Fixed non-debug build problems --- src/theory/uf/theory_uf.cpp | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp index ef0142352..687f85c51 100644 --- a/src/theory/uf/theory_uf.cpp +++ b/src/theory/uf/theory_uf.cpp @@ -45,7 +45,6 @@ void TheoryUF::preRegisterTerm(TNode n){ void TheoryUF::registerTerm(TNode n){ Debug("uf") << "uf: begin registerTerm(" << n << ")" << std::endl; - n.printAst(Debug("uf")); d_registered.push_back(n); @@ -246,10 +245,8 @@ void TheoryUF::merge(){ continue; Debug("uf") << "merging equivalence classes for " << std::endl; - Debug("uf") << "left equivalence class :"; - (ecX->getRep()).printAst(Debug("uf")); - Debug("uf") << "right equivalence class :"; - (ecY->getRep()).printAst(Debug("uf")); + Debug("uf") << "left equivalence class :" << (ecX->getRep()) << std::endl; + Debug("uf") << "right equivalence class :" << (ecY->getRep()) << std::endl; Debug("uf") << std::endl; ccUnion(ecX, ecY); @@ -267,9 +264,7 @@ Node TheoryUF::constructConflict(TNode diseq){ Node conflict = nb; - Debug("uf") << "conflict constructed : "; - conflict.printAst(Debug("uf")); - Debug("uf") << std::endl; + Debug("uf") << "conflict constructed : " << conflict << std::endl; Debug("uf") << "uf: ending constructConflict()" << std::endl; -- cgit v1.2.3