changeset 56334 | 6b3739fee456 |
parent 56303 | 4cc3f4db3447 |
child 56867 | 224109105008 |
--- a/src/Pure/Isar/toplevel.ML Mon Mar 31 10:28:08 2014 +0200 +++ b/src/Pure/Isar/toplevel.ML Mon Mar 31 12:35:39 2014 +0200 @@ -205,7 +205,7 @@ | SOME (Theory (gthy, _)) => pretty_context gthy | SOME (Proof (_, (_, gthy))) => pretty_context gthy | SOME (Skipped_Proof (_, (gthy, _))) => pretty_context gthy) - |> Pretty.chunks |> Pretty.writeln; + |> Pretty.writeln_chunks; fun print_state prf_only state = (case try node_of state of