Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Thu, 30 May 2013 17:52:38 +0200
changeset 52247 3244ccb7e9db
parent 52229 13171b27eaca (diff)
parent 52246 54c0d4128b30 (current diff)
child 52248 2c893e0c1def
merged
--- a/src/Tools/Code/code_scala.ML	Thu May 30 17:26:01 2013 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu May 30 17:52:38 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