RSS-117: Fixed problem in finding positions with same words

This commit is contained in:
deiflaender 2022-11-09 16:05:46 +01:00
parent b72ca1517a
commit e55173a720

View File

@ -121,7 +121,7 @@ public class SearchableText {
} else { } else {
counter = 0; counter = 0;
if (!crossSequenceParts.isEmpty()) { if (!crossSequenceParts.isEmpty()) {
j--; j=j-partMatch.length() - 1;
} }
crossSequenceParts = new ArrayList<>(); crossSequenceParts = new ArrayList<>();
partMatch = new TextPositionSequence(searchSpace.get(i).getPage()); partMatch = new TextPositionSequence(searchSpace.get(i).getPage());