diff -r 13a7d9661ffc -r 9dc5ce83202c src/Pure/Isar/bundle.ML
--- a/src/Pure/Isar/bundle.ML	Sat Mar 08 13:49:01 2014 +0100
+++ b/src/Pure/Isar/bundle.ML	Sat Mar 08 21:08:10 2014 +0100
@@ -76,9 +76,7 @@
 in
 
 val bundle = gen_bundle (K I) (K I) Proof_Context.cert_vars;
-val bundle_cmd =
-  gen_bundle Proof_Context.get_fact (Attrib.intern_src o Proof_Context.theory_of)
-    Proof_Context.read_vars;
+val bundle_cmd = gen_bundle Proof_Context.get_fact Attrib.check_src Proof_Context.read_vars;
 
 end;