Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less intrusive visibility;
authorwenzelm
Tue, 03 Apr 2012 20:08:08 +0200
changeset 47314 644a3b74cfd0
parent 47313 6a0ee401b899
child 47315 89a4bbf9790d
less intrusive visibility;
src/Pure/Isar/bundle.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle