diff options
Diffstat (limited to 'src/theory/theory_model_builder.cpp')
| -rw-r--r-- | src/theory/theory_model_builder.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/theory_model_builder.cpp b/src/theory/theory_model_builder.cpp index 1a0549a0a..f50e7e0ee 100644 --- a/src/theory/theory_model_builder.cpp +++ b/src/theory/theory_model_builder.cpp @@ -452,7 +452,7 @@ bool TheoryEngineModelBuilder::buildModel(TheoryModel* tm) for (; !eqcs_i.isFinished(); ++eqcs_i) { Node eqc = *eqcs_i; - + Trace("model-builder") << " Processing EQC " << eqc << std::endl; // Information computed for each equivalence class // The assigned represenative and constant representative @@ -484,7 +484,7 @@ bool TheoryEngineModelBuilder::buildModel(TheoryModel* tm) for (; !eqc_i.isFinished(); ++eqc_i) { Node n = *eqc_i; - Trace("model-builder") << " Processing Term: " << n << endl; + Trace("model-builder") << " Processing Term: " << n << endl; // For each term n in this equivalence class, below we register its // assignable subterms, compute whether it is a constant or assigned @@ -505,7 +505,7 @@ bool TheoryEngineModelBuilder::buildModel(TheoryModel* tm) Assert(constRep.isNull()); constRep = n; Trace("model-builder") - << " ConstRep( " << eqc << " ) = " << constRep << std::endl; + << " ..ConstRep( " << eqc << " ) = " << constRep << std::endl; // if we have a constant representative, nothing else matters continue; } @@ -522,7 +522,7 @@ bool TheoryEngineModelBuilder::buildModel(TheoryModel* tm) // these cases here. rep = itm->second; Trace("model-builder") - << " Rep( " << eqc << " ) = " << rep << std::endl; + << " ..Rep( " << eqc << " ) = " << rep << std::endl; } // (3) Finally, process assignable information |