Fix origin location fixer exception because end offset is exclusive now.

metaborg · Jul 20, 2021 · b0b8c2b · b0b8c2b
1 parent 7feefdf
commit b0b8c2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/jsglr.common/src/main/java/mb/jsglr/common/FragmentedOriginLocationFixer.java b/core/jsglr.common/src/main/java/mb/jsglr/common/FragmentedOriginLocationFixer.java
@@ -100,7 +100,7 @@ public static Result fixOriginLocations(Text text, IStrategoTerm ast, ITokens to
                         newStart = stringFragment.startOffset + (startOffset - offset);
                     }
                     int endOffset = region.getEndOffset();
-                    if(endOffset >= offset && endOffset < pieceEndExclusive) {
+                    if(endOffset >= offset && endOffset <= pieceEndExclusive) {
                         newEnd = stringFragment.startOffset + (endOffset - offset);
                     }
                     offset += stringFragment.text.length();