src/Pure/Isar/element.ML

--- a/src/Pure/Isar/element.ML	Sat Mar 08 13:49:01 2014 +0100
+++ b/src/Pure/Isar/element.ML	Sat Mar 08 21:08:10 2014 +0100
@@ -528,7 +528,7 @@
     term = I,
     pattern = I,
     fact = Proof_Context.get_fact ctxt,
-    attrib = Attrib.intern_src (Proof_Context.theory_of ctxt)}
+    attrib = Attrib.check_src ctxt}
   in activate_i elem ctxt end;
 
 end;