src/Pure/Isar/method.ML
changeset 56334 6b3739fee456
parent 56278 2576d3a40ed6
child 56500 90f17a04567d
     1.1 --- a/src/Pure/Isar/method.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Pure/Isar/method.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -328,7 +328,7 @@
     1.4              (Pretty.mark_str name :: Pretty.str ":" :: Pretty.brk 2 :: Pretty.text comment);
     1.5    in
     1.6      [Pretty.big_list "methods:" (map prt_meth (Name_Space.markup_table ctxt meths))]
     1.7 -    |> Pretty.chunks |> Pretty.writeln
     1.8 +    |> Pretty.writeln_chunks
     1.9    end;
    1.10  
    1.11  fun add_method name meth comment thy = thy