continue;
}
Range range = succinctFile
.continueFwdSearch(String.valueOf(c).toCharArray(), leftMatch, leftMatch.getLength());
if (!range.empty()) {
<BUG>concatResults.add(new SuccinctRegExMatch(range, leftMatch.getLength() + 1));

}</BUG>
}
break;

continue;
}
Range range = succinctFile
.continueFwdSearch(String.valueOf(c).toCharArray(), leftMatch, leftMatch.getLength());
if (!range.empty()) {
SuccinctRegExMatch m = new SuccinctRegExMatch(range, leftMatch.getLength() + 1);
concatResults.add(m);
}
}
break;
