tuned
authorhaftmann
Fri Aug 17 11:26:31 2018 +0000 (10 months ago ago)
changeset 6877223a5e7fba837
parent 68771 7e1978b9a4d1
child 68773 1db9fef36f12
tuned
src/Pure/Isar/toplevel.ML
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sun Aug 19 10:32:22 2018 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Aug 17 11:26:31 2018 +0000
     1.3 @@ -213,7 +213,7 @@
     1.4              Theory (gthy, _) => gthy
     1.5            | Proof (_, (_, gthy)) => gthy
     1.6            | Skipped_Proof (_, (_, gthy)) => gthy);
     1.7 -        val lthy = Context.cases (Named_Target.theory_init) I gthy;
     1.8 +        val lthy = Context.cases Named_Target.theory_init I gthy;
     1.9        in Local_Theory.pretty lthy end);
    1.10  
    1.11  fun pretty_state state =