Fix edge case

1 files changed, 4 insertions, 3 deletions

diff --git a/src/theory/strings/regexp_elim.cpp b/src/theory/strings/regexp_elim.cpp
index c8ca000e9..986ab7d66 100644
--- a/src/theory/strings/regexp_elim.cpp
+++ b/src/theory/strings/regexp_elim.cpp
@@ -383,7 +383,7 @@ Node RegExpElimination::eliminateConcat(Node atom)
     if (r == 0)
     {
       rexpElimChildrenStart = index;
-      if (index == rexpElimChildrenEnd) {
+      if (index == nchildren) {
         break;
       }
     }
@@ -395,8 +395,9 @@ Node RegExpElimination::eliminateConcat(Node atom)
 
   if (!sConstraints.empty())
   {
-    std::vector<Node> rexpElimChildren(children.begin() + rexpElimChildrenStart,
-                                       children.begin() + rexpElimChildrenEnd);
+    std::vector<Node> rexpElimChildren(
+        children.begin() + rexpElimChildrenStart,
+        children.begin() + rexpElimChildrenEnd + 1);
     if (!rexpElimChildren.empty())
     {
       Node ss = nm->mkNode(STRING_SUBSTR, x, sStartIndex, sLength);