src/Pure/Isar/element.ML

    {binding = I,
     typ = I,
     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;