diff options
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 77d4b80d7..fa3f77e9f 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -416,13 +416,13 @@ void TheoryStrings::check(Effort e) { bool polarity; TNode atom; - if(d_all_warning) { + /*if(d_all_warning) { if(getLogicInfo().hasEverything()) { WarningOnce() << "WARNING: strings not supported in default configuration (ALL_SUPPORTED).\n" << "To suppress this warning in the future use proper logic symbol, e.g. (set-logic QF_S)." << std::endl; } d_all_warning = false; - } + }*/ if( !done() && !hasTerm( d_emptyString ) ) { preRegisterTerm( d_emptyString ); |