diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-03-09 14:38:51 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-03-09 14:38:51 +0000 |
| commit | a82014f927672e01ca57972d0c1169ed3f3c4d65 (patch) | |
| tree | 366bb6c2780195db966dfb3e0c89c0e924c4e25b /src/theory/uf | |
| parent | 16ed35436d4e4914a2dc601947fcc9c184b264a7 (diff) | |
Fixed non-debug build problems
Diffstat (limited to 'src/theory/uf')
| -rw-r--r-- | src/theory/uf/theory_uf.cpp | 11 |
1 files 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; |