diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-02 15:10:10 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-02 15:10:10 +0200 |
commit | b0feac10d73770819839624dd943eedb14bd4c86 (patch) | |
tree | a5410baf7d47ae6ffc3fe0f177017d157e11be40 /src/util/regexp.h | |
parent | 627b8507183ae6c58b2eda80ca14500b1fa87809 (diff) |
Improvements to rewriter for regexp, contains, indexof. Improvements and fixes for reduction of indexof. Fixes bugs 612 and 615. Fix bug in find+offset in strings util. Add regressions.
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index c5a094f8c..453fa7ba9 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -3,7 +3,7 @@ ** \verbatim ** Original author: Tianyi Liang ** Major contributors: none - ** Minor contributors (to current version): Morgan Deters + ** Minor contributors (to current version): Morgan Deters, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2014 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing @@ -252,7 +252,7 @@ public: } } }*/ - std::vector<unsigned>::const_iterator itr = std::search(d_str.begin(), d_str.end(), y.d_str.begin(), y.d_str.end()); + std::vector<unsigned>::const_iterator itr = std::search(d_str.begin() + start, d_str.end(), y.d_str.begin(), y.d_str.end()); if(itr != d_str.end()) { ret = itr - d_str.begin(); } |