diff -r 38f1422ef473 -r 6b3739fee456 src/Tools/subtyping.ML
--- 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 *)