src/Pure/Isar/toplevel.ML
changeset 47425 45e570742e73
parent 47417 9679bab23f93
child 47881 45a3a1c320d8
     1.1 --- a/src/Pure/Isar/toplevel.ML	Wed Apr 11 14:20:51 2012 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Wed Apr 11 15:02:48 2012 +0200
     1.3 @@ -691,7 +691,8 @@
     1.4                in (result, presentation_context_of result_state) end))
     1.5          #-> Result.put;
     1.6  
     1.7 -      val st'' = st' |> command (end_tr |> reset_trans |> end_proof (K future_proof));
     1.8 +      val st'' = st'
     1.9 +        |> command (tr |> set_print false |> reset_trans |> end_proof (K future_proof));
    1.10        val result =
    1.11          Result.get (presentation_context_of st'')
    1.12          |> Future.map (fn body => (tr, st') :: body @ [(end_tr, st'')]);