diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-22 14:07:10 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-22 14:07:10 -0600 |
| commit | 334c3cce653c221ecb11cfeb3bced33022c78dc7 (patch) | |
| tree | 5eefa215761f4386a11aedac7637d24e99799ec9 | |
| parent | 7e445cf997a695ca2726df50e3b2f6d5f4809c95 (diff) | |
commented out all_supported in strings for now, it has a bug here.
| -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 ); |