From 740bfad6ab2c3ac6c1f7eec9c8e6f5338abd8eb5 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Wed, 7 Jan 2015 12:24:14 -0600 Subject: [PATCH] patch to the last commit --- src/theory/strings/theory_strings_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/strings/theory_strings_rewriter.cpp b/src/theory/strings/theory_strings_rewriter.cpp index fb7c9b460..9f6836406 100644 --- a/src/theory/strings/theory_strings_rewriter.cpp +++ b/src/theory/strings/theory_strings_rewriter.cpp @@ -665,7 +665,7 @@ bool TheoryStringsRewriter::testConstStringInRegExp( CVC4::String &s, unsigned i } else if( i == -1 ) { return false; } else { - for(vec_k[i] = vec_k[i] + 1; vec_k[i] <= left - start; ++vec_k[i]) { + for(vec_k[i] = vec_k[i] + 1; vec_k[i] <= left; ++vec_k[i]) { CVC4::String t = s.substr(index_start + start, vec_k[i]); if( testConstStringInRegExp( t, 0, r[i] ) ) { start += vec_k[i]; left -= vec_k[i]; flag = false; -- 2.30.2