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 f0467507d8dce3688532a8d4752a762dff892543..660b7aafe4cc5ee7cbdda89279ca7f4bf13db224 100644 (file)
--- 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 4891998e51be138b55261fae04b5a87861f37841..4d12803ff978c12d783bef56cf2b6dbba53e7e9c 100644 (file)
--- a/src/util/regexp.h
+++ b/src/util/regexp.h
@@ -372,7 +372,7 @@ public:
                 }
                 return ret;
         } else {
-                return 0;
+                return -1;
         }
   }
 };/* class String */