Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/fontforge.scala
changeset 71163 b5822f4c3fde
parent 69370 589896fe1df2
child 71601 97ccf48c2f0c 
--- a/src/Pure/Tools/fontforge.scala	Mon Nov 25 12:16:26 2019 +0100
+++ b/src/Pure/Tools/fontforge.scala	Mon Nov 25 12:19:14 2019 +0100
@@ -24,7 +24,7 @@
   def string(s: String): Script =
   {
     def err(c: Char): Nothing =
-      error("Bad character \\u" + String.format(Locale.ROOT, "%04x", new Integer(c)) +
+      error("Bad character \\u" + String.format(Locale.ROOT, "%04x", Integer.valueOf(c)) +
         " in fontforge string " + quote(s))
 
     val q = if (s.contains('"')) '\'' else '"'
isabelle