diff options
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 4405fe406..07a170a08 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -4023,6 +4023,7 @@ void TheoryStrings::checkExtendedFuncs() { addMembership( it->first ? it->second[i] : it->second[i].negate() ); } } + Trace("strings-process") << "Checking memberships..." << std::endl; checkMemberships(); Trace("strings-process") << "Done check memberships, addedLemma = " << !d_pending.empty() << " " << !d_lemma_cache.empty() << ", d_conflict = " << d_conflict << std::endl; } |