Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/display.ML
changeset 5902 c39b23d752b6
parent 5245 a6167c446b0b
child 6087 c8ec08fced15 
--- a/src/Pure/display.ML	Tue Nov 17 14:04:32 1998 +0100
+++ b/src/Pure/display.ML	Tue Nov 17 14:04:52 1998 +0100
@@ -146,7 +146,7 @@
       [Pretty.str "default:", Pretty.brk 1, prt_sort S];
 
     fun pretty_ty (t, n) = Pretty.block
-      [Pretty.str (ext_tycon t), Pretty.str (" " ^ string_of_int n)];
+      [Pretty.str (ext_tycon t), Pretty.spc 1, Pretty.str (string_of_int n)];
 
     fun pretty_abbr (t, (vs, rhs)) = Pretty.block
       [prt_typ (Type (t, map (fn v => TVar ((v, 0), [])) vs)),
isabelle