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