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/Tools/Code/code_scala.ML
changeset 52229 13171b27eaca
parent 52138 e21426f244aa
child 52435 6646bb548c6b 
--- a/src/Tools/Code/code_scala.ML	Thu May 30 08:27:51 2013 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu May 30 14:37:35 2013 +0200
@@ -392,7 +392,7 @@
     in if k < 32 orelse k > 126 then "\\" ^ radixstring (8, "0", k) else c end
   fun numeral_scala k = if k < 0
     then if k > ~ 2147483647 then "- " ^ string_of_int (~ k)
-      else quote ("- " ^ string_of_int (~ k))
+      else quote ("-" ^ string_of_int (~ k))
     else if k <= 2147483647 then string_of_int k
       else quote (string_of_int k)
 in Literals {
isabelle