From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 18 Feb 2014 17:22:46 +0000 (-0600)
Subject: missed files for the latter commit
X-Git-Tag: cvc5-1.0.0~7086^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0aa0a9e616e6d8fc4db19b908b81c2c1a525dcd3;p=cvc5.git

missed files for the latter commit
---

diff --git a/src/theory/strings/theory_strings_rewriter.cpp b/src/theory/strings/theory_strings_rewriter.cpp
index f0467507d..660b7aafe 100644
--- a/src/theory/strings/theory_strings_rewriter.cpp
+++ b/src/theory/strings/theory_strings_rewriter.cpp
@@ -460,7 +460,7 @@ RewriteResponse TheoryStringsRewriter::postRewrite(TNode node) {
 				if(node[0][i].isConst()) {
 					CVC4::String t = node[0][i].getConst<String>();
 					if(!t.isNumber()) {
-						retNode = NodeManager::currentNM()->mkConst(::CVC4::Rational(0));
+						retNode = NodeManager::currentNM()->mkConst(::CVC4::Rational(-1));
 						break;
 					}
 				}
diff --git a/src/util/regexp.h b/src/util/regexp.h
index 4891998e5..4d12803ff 100644
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -372,7 +372,7 @@ public:
 		 }
 		 return ret;
 	 } else {
-		 return 0;
+		 return -1;
 	 }
   }
 };/* class String */