diff -r 38f1422ef473 -r 6b3739fee456 src/Pure/Isar/context_rules.ML
--- a/src/Pure/Isar/context_rules.ML	Mon Mar 31 10:28:08 2014 +0200
+++ b/src/Pure/Isar/context_rules.ML	Mon Mar 31 12:35:39 2014 +0200
@@ -120,7 +120,7 @@
         (map_filter (fn (_, (k, th)) =>
             if k = (i, b) then SOME (Display.pretty_thm_item ctxt th) else NONE)
           (sort (int_ord o pairself fst) rules));
-  in Pretty.writeln (Pretty.chunks (map prt_kind rule_kinds)) end;
+  in Pretty.writeln_chunks (map prt_kind rule_kinds) end;
 
 
 (* access data *)