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/Syntax/syntax_phases.ML
changeset 56334 6b3739fee456
parent 56333 38f1422ef473
child 58047 9f3826352b52 
--- a/src/Pure/Syntax/syntax_phases.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -878,7 +878,7 @@
     pretty_checks "term_checks" term_checks @
     pretty_checks "typ_unchecks" typ_unchecks @
     pretty_checks "term_unchecks" term_unchecks
-  end |> Pretty.chunks |> Pretty.writeln;
+  end |> Pretty.writeln_chunks;
 
 
 local
isabelle