From 334c3cce653c221ecb11cfeb3bced33022c78dc7 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Wed, 22 Jan 2014 14:07:10 -0600 Subject: [PATCH] commented out all_supported in strings for now, it has a bug here. --- src/theory/strings/theory_strings.cpp | 4 ++-- 1 file 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 ); -- 2.30.2