From 0aa0a9e616e6d8fc4db19b908b81c2c1a525dcd3 Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Tue, 18 Feb 2014 11:22:46 -0600
Subject: [PATCH] missed files for the latter commit

---
 src/theory/strings/theory_strings_rewriter.cpp | 2 +-
 src/util/regexp.h                              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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 */
-- 
2.30.2