From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Wed, 22 Jan 2014 20:07:10 +0000 (-0600)
Subject: commented out all_supported in strings for now, it has a bug here.
X-Git-Tag: cvc5-1.0.0~7133
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=334c3cce653c221ecb11cfeb3bced33022c78dc7;p=cvc5.git

commented out all_supported in strings for now, it has a bug here.
---

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 );