Pretty.spc;
authorwenzelm
Tue Nov 17 14:04:52 1998 +0100 (1998-11-17)
changeset 5902c39b23d752b6
parent 5901 a8e1ca1b2ec6
child 5903 5d9beee36fbe
Pretty.spc;
src/Pure/display.ML
     1.1 --- a/src/Pure/display.ML	Tue Nov 17 14:04:32 1998 +0100
     1.2 +++ b/src/Pure/display.ML	Tue Nov 17 14:04:52 1998 +0100
     1.3 @@ -146,7 +146,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 (ext_tycon t), Pretty.str (" " ^ string_of_int n)];
     1.8 +      [Pretty.str (ext_tycon t), Pretty.spc 1, Pretty.str (string_of_int n)];
     1.9  
    1.10      fun pretty_abbr (t, (vs, rhs)) = Pretty.block
    1.11        [prt_typ (Type (t, map (fn v => TVar ((v, 0), [])) vs)),