src/Pure/Isar/bundle.ML
changeset 47314 644a3b74cfd0
parent 47311 1addbe2a7458
child 50301 56b4c9afd7be
--- a/src/Pure/Isar/bundle.ML	Tue Apr 03 19:49:14 2012 +0200
+++ b/src/Pure/Isar/bundle.ML	Tue Apr 03 20:08:08 2012 +0200
@@ -97,7 +97,7 @@
     fun augment ctxt =
       let
         val ((_, _, _, ctxt'), _) = ctxt
-          |> Context_Position.set_visible true
+          |> Context_Position.restore_visible lthy
           |> gen_includes prep_bundle raw_incls
           |> prep_decl ([], []) I raw_elems;
       in ctxt' |> Context_Position.restore_visible ctxt end;