src/Pure/display.ML
changeset 8458 883b28065841
parent 8402 84ff2d1f9a2c
child 8720 840c75ab2a7f
     1.1 --- a/src/Pure/display.ML	Wed Mar 15 18:19:06 2000 +0100
     1.2 +++ b/src/Pure/display.ML	Wed Mar 15 18:20:52 2000 +0100
     1.3 @@ -176,7 +176,7 @@
     1.4        [Pretty.str "default:", Pretty.brk 1, prt_sort S];
     1.5  
     1.6      fun pretty_ty (t, n) = Pretty.block
     1.7 -      [Pretty.str t, Pretty.spc 1, Pretty.str (string_of_int n)];
     1.8 +      [Pretty.str t, Pretty.brk 1, Pretty.str (string_of_int n)];
     1.9  
    1.10      fun pretty_log_types ts = Pretty.block
    1.11        (Pretty.breaks (Pretty.str "logical types:" :: map Pretty.str ts));