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/Tools/subtyping.ML
changeset 56334 6b3739fee456
parent 55954 a29aefc88c8d
child 58826 2ed2eaabe3df 
--- a/src/Tools/subtyping.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Tools/subtyping.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -1085,7 +1085,7 @@
    [Pretty.big_list "coercions between base types:" (map show_coercion simple),
     Pretty.big_list "other coercions:" (map show_coercion complex),
     Pretty.big_list "coercion maps:" (map show_map tmaps)]
-  end |> Pretty.chunks |> Pretty.writeln;
+  end |> Pretty.writeln_chunks;
 
 
 (* theory setup *)
isabelle