src/Pure/Isar/proof_display.ML
changeset 42717 0bbb56867091
parent 42360 da8817d01e7c
child 44192 a32ca9165928
     1.1 --- a/src/Pure/Isar/proof_display.ML	Thu May 12 16:00:48 2011 +0200
     1.2 +++ b/src/Pure/Isar/proof_display.ML	Thu May 12 16:23:13 2011 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  (* toplevel pretty printing *)
     1.5  
     1.6  fun pp_context ctxt =
     1.7 - (if ! Proof_Context.debug then
     1.8 + (if Config.get ctxt Proof_Context.debug then
     1.9      Pretty.quote (Pretty.big_list "proof context:" (Proof_Context.pretty_context ctxt))
    1.10    else Pretty.str "<context>");
    1.11