src/Pure/Isar/context_rules.ML
changeset 56334 6b3739fee456
parent 56204 f70e69208a8c
child 59058 a78612c67ec0
     1.1 --- a/src/Pure/Isar/context_rules.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -120,7 +120,7 @@
     1.4          (map_filter (fn (_, (k, th)) =>
     1.5              if k = (i, b) then SOME (Display.pretty_thm_item ctxt th) else NONE)
     1.6            (sort (int_ord o pairself fst) rules));
     1.7 -  in Pretty.writeln (Pretty.chunks (map prt_kind rule_kinds)) end;
     1.8 +  in Pretty.writeln_chunks (map prt_kind rule_kinds) end;
     1.9  
    1.10  
    1.11  (* access data *)