# HG changeset patch
# User wenzelm
# Date 1459014718 -3600
# Node ID 8adf274f5988747a645d82abe149dfe29d46dda6
# Parent  d80b9f4990e4867dfe36310b5c70e5b615e91c55
tuned;

diff -r d80b9f4990e4 -r 8adf274f5988 src/Pure/ML/ml_syntax.scala
--- a/src/Pure/ML/ml_syntax.scala	Sat Mar 26 16:14:46 2016 +0100
+++ b/src/Pure/ML/ml_syntax.scala	Sat Mar 26 18:51:58 2016 +0100
@@ -11,11 +11,11 @@
 {
   /* int */
 
-  private def signed_int(sign: Boolean, s: String): String =
-    if (sign) { assert(s(0) == '-'); "~" + s.substring(1) } else s
+  private def signed_int(s: String): String =
+    if (s(0) == '-') "~" + s.substring(1) else s
 
-  def print_int(i: Int): String = signed_int(i < 0, Properties.Value.Int(i))
-  def print_long(i: Long): String = signed_int(i < 0, Properties.Value.Long(i))
+  def print_int(i: Int): String = signed_int(Properties.Value.Int(i))
+  def print_long(i: Long): String = signed_int(Properties.Value.Long(i))
 
 
   /* string */