src/Pure/Isar/proof_display.ML
changeset 62889 99c7f31615c2
parent 62188 74c56f8b68e8
child 64596 51f8e259de50
     1.1 --- a/src/Pure/Isar/proof_display.ML	Wed Apr 06 14:08:57 2016 +0200
     1.2 +++ b/src/Pure/Isar/proof_display.ML	Wed Apr 06 16:33:33 2016 +0200
     1.3 @@ -39,7 +39,7 @@
     1.4    else Pretty.str "<context>");
     1.5  
     1.6  fun default_context mk_thy =
     1.7 -  (case Context.thread_data () of
     1.8 +  (case Context.get_generic_context () of
     1.9      SOME (Context.Proof ctxt) => ctxt
    1.10    | SOME (Context.Theory thy) =>
    1.11        (case try Syntax.init_pretty_global thy of