src/Pure/Isar/code.ML
changeset 56334 6b3739fee456
parent 56204 f70e69208a8c
child 56375 32e0da92c786
     1.1 --- a/src/Pure/Isar/code.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Pure/Isar/code.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -1036,7 +1036,7 @@
     1.4      val cases = Symtab.dest ((fst o the_cases o the_exec) thy);
     1.5      val undefineds = Symtab.keys ((snd o the_cases o the_exec) thy);
     1.6    in
     1.7 -    (Pretty.writeln o Pretty.chunks) [
     1.8 +    Pretty.writeln_chunks [
     1.9        Pretty.block (
    1.10          Pretty.str "code equations:" :: Pretty.fbrk
    1.11          :: (Pretty.fbreaks o map pretty_function) functions