diff -r c5eb14ba754c -r 883b28065841 src/Pure/display.ML
--- a/src/Pure/display.ML	Wed Mar 15 18:19:06 2000 +0100
+++ b/src/Pure/display.ML	Wed Mar 15 18:20:52 2000 +0100
@@ -176,7 +176,7 @@
       [Pretty.str "default:", Pretty.brk 1, prt_sort S];
 
     fun pretty_ty (t, n) = Pretty.block
-      [Pretty.str t, Pretty.spc 1, Pretty.str (string_of_int n)];
+      [Pretty.str t, Pretty.brk 1, Pretty.str (string_of_int n)];
 
     fun pretty_log_types ts = Pretty.block
       (Pretty.breaks (Pretty.str "logical types:" :: map Pretty.str ts));