src/Pure/Isar/toplevel.ML
changeset 68772 23a5e7fba837
parent 68505 088780aa2b70
child 68839 d8251a61cce8
     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 =