# HG changeset patch
# User wenzelm
# Date 1332369718 -3600
# Node ID 15cd66da537fe04246f7fd5ed25dd9e375085881
# Parent  451fc10a81f3f9bc68583a34830c14730b799054
actually expose target context;

diff -r 451fc10a81f3 -r 15cd66da537f src/Pure/Isar/bundle.ML
--- a/src/Pure/Isar/bundle.ML	Wed Mar 21 23:26:35 2012 +0100
+++ b/src/Pure/Isar/bundle.ML	Wed Mar 21 23:41:58 2012 +0100
@@ -96,6 +96,7 @@
 fun gen_context prep args (Context.Theory thy) =
       Named_Target.theory_init thy
       |> Local_Theory.target (gen_includes prep args)
+      |> Local_Theory.restore
   | gen_context prep args (Context.Proof lthy) =
       Named_Target.assert lthy
       |> gen_includes prep args