Fix bug with java doc

rdfhdt · Dec 5, 2022 · febc567 · febc567
1 parent 5fd9801
commit febc567
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hdt-java-core/src/main/java/org/rdfhdt/hdt/options/HideHDTOptions.java b/hdt-java-core/src/main/java/org/rdfhdt/hdt/options/HideHDTOptions.java
@@ -16,7 +16,7 @@ public class HideHDTOptions implements HDTOptions {
 
     /**
      * @param spec   wrapped options
-     * @param mapper mapping function (key) -> newKey?
+     * @param mapper mapping function (key) {@literal ->} newKey?
      */
     public HideHDTOptions(HDTOptions spec, Function<String, String> mapper) {
         this.spec = spec;