diff options
Diffstat (limited to 'src/theory/strings/inference_manager.cpp')
| -rw-r--r-- | src/theory/strings/inference_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/inference_manager.cpp b/src/theory/strings/inference_manager.cpp index e324689f5..b982f24a1 100644 --- a/src/theory/strings/inference_manager.cpp +++ b/src/theory/strings/inference_manager.cpp @@ -329,10 +329,10 @@ bool InferenceManager::processFact(InferInfo& ii) { facts.push_back(ii.d_conc); } - Trace("strings-assert") << "(assert (=> " << ii.getAntecedant() << " " + Trace("strings-assert") << "(assert (=> " << ii.getAntecedent() << " " << ii.d_conc << ")) ; fact " << ii.d_id << std::endl; Trace("strings-lemma") << "Strings::Fact: " << ii.d_conc << " from " - << ii.getAntecedant() << " by " << ii.d_id + << ii.getAntecedent() << " by " << ii.d_id << std::endl; std::vector<Node> exp; for (const Node& ec : ii.d_ant) |