# HG changeset patch
# User wenzelm
# Date 1465568253 -7200
# Node ID e6d51d9801e451989ad680d11436f65ad4cd5bdf
# Parent  96bcd90415cbb80539241bf5341992426f2356d3
proper restore;

diff -r 96bcd90415cb -r e6d51d9801e4 src/Pure/Isar/bundle.ML
--- a/src/Pure/Isar/bundle.ML	Fri Jun 10 16:14:20 2016 +0200
+++ b/src/Pure/Isar/bundle.ML	Fri Jun 10 16:17:33 2016 +0200
@@ -137,8 +137,9 @@
     |> invisible ? Context_Position.set_visible_global false
     |> Context.Theory
     |> define_bundle (binding, the_target thy)
-    ||> Context.the_theory
-    ||> reset_target);
+    ||> (Context.the_theory
+      #> invisible ? Context_Position.restore_visible_global thy
+      #> reset_target));
 
 fun pretty binding lthy =
   let