diff --git a/core/src/main/java/de/jplag/options/JPlagOptions.java b/core/src/main/java/de/jplag/options/JPlagOptions.java index 44eea1d2f..84d6af405 100644 --- a/core/src/main/java/de/jplag/options/JPlagOptions.java +++ b/core/src/main/java/de/jplag/options/JPlagOptions.java @@ -51,7 +51,7 @@ public record JPlagOptions(Language language, Integer minimumTokenMatch, Set