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