diff options
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index e42796354..0de0cc33c 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -153,15 +153,16 @@ bool TheoryStrings::areCareDisequal( TNode x, TNode y ) { return false; } -void TheoryStrings::addSharedTerm(TNode t) { - Debug("strings") << "TheoryStrings::addSharedTerm(): " - << t << " " << t.getType().isBoolean() << endl; +void TheoryStrings::notifySharedTerm(TNode t) +{ + Debug("strings") << "TheoryStrings::notifySharedTerm(): " << t << " " + << t.getType().isBoolean() << endl; d_equalityEngine->addTriggerTerm(t, THEORY_STRINGS); if (options::stringExp()) { d_esolver.addSharedTerm(t); } - Debug("strings") << "TheoryStrings::addSharedTerm() finished" << std::endl; + Debug("strings") << "TheoryStrings::notifySharedTerm() finished" << std::endl; } EqualityStatus TheoryStrings::getEqualityStatus(TNode a, TNode b) { |