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 82587 7415414bd9d8
parent 81743 fac2045e61d5 
--- a/src/Pure/Syntax/syntax_phases.ML	Fri Apr 25 09:46:21 2025 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML	Fri Apr 25 11:22:25 2025 +0200
@@ -927,7 +927,7 @@
     pretty_checks "term_checks" term_checks @
     pretty_checks "typ_unchecks" typ_unchecks @
     pretty_checks "term_unchecks" term_unchecks
-  end |> Pretty.writeln_chunks;
+  end |> Pretty.chunks |> Pretty.writeln;
 
 
 local
isabelle