Update Format.java

KeYProject · Oct 30, 2023 · e3880ec · e3880ec
1 parent 552f06a
commit e3880ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/recoder/src/main/java/recoder/convenience/Format.java b/recoder/src/main/java/recoder/convenience/Format.java
@@ -330,7 +330,7 @@ public static String toString(String formatText, String header, String separator
 
     /**
      * Formats a source element using a default format.
-     * The default format string is {@code "\"%s\"&#64;%p [%f]"}
+     * The default format string is {@code "\"%s\"@%p [%f]"}
      *
      * @param se the source element to be formatted.
      * @return a textual representation of the source element.