--- a/src/Pure/Isar/bundle.ML Wed Apr 20 11:14:10 2016 +0200
+++ b/src/Pure/Isar/bundle.ML Wed Apr 20 11:33:45 2016 +0200
@@ -86,8 +86,12 @@
local
fun gen_includes get args ctxt =
- let val decls = maps (get ctxt) args
- in #2 (Attrib.local_notes "" [((Binding.empty, []), decls)] ctxt) end;
+ let val decls = maps (get ctxt) args in
+ ctxt
+ |> Context_Position.set_visible false
+ |> Attrib.local_notes "" [((Binding.empty, []), decls)] |> #2
+ |> Context_Position.restore_visible ctxt
+ end;
fun gen_context get prep_decl raw_incls raw_elems gthy =
let