Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pretty.spc;
authorwenzelm
Tue, 17 Nov 1998 14:04:52 +0100
changeset 5902 c39b23d752b6
parent 5901 a8e1ca1b2ec6
child 5903 5d9beee36fbe
Pretty.spc;
src/Pure/display.ML file | annotate | diff | comparison | revisions 
--- 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