src/Pure/Isar/attrib.ML
changeset 55998 f5f9fad3321c
parent 55997 9dc5ce83202c
child 56025 d74fed45fa8b
     1.1 --- a/src/Pure/Isar/attrib.ML	Sat Mar 08 21:08:10 2014 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sat Mar 08 21:31:12 2014 +0100
     1.3 @@ -302,7 +302,7 @@
     1.4  in
     1.5  
     1.6  fun partial_evaluation ctxt facts =
     1.7 -  (facts, Context.Proof (Context_Position.set_visible false ctxt)) |->
     1.8 +  (facts, Context.Proof ctxt) |->
     1.9      fold_map (fn ((b, more_atts), fact) => fn context =>
    1.10        let
    1.11          val (fact', (decls, context')) =