# HG changeset patch
# User wenzelm
# Date 1333476488 -7200
# Node ID 644a3b74cfd0315df4fc58d98ac19a1ee5b0ef97
# Parent  6a0ee401b8991233dbf9a4dd7317e4740e35e527
less intrusive visibility;

diff -r 6a0ee401b899 -r 644a3b74cfd0 src/Pure/Isar/bundle.ML
--- 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;