--- a/src/Pure/Isar/attrib.ML Mon Mar 10 18:06:23 2014 +0100
+++ b/src/Pure/Isar/attrib.ML Mon Mar 10 20:27:08 2014 +0100
@@ -119,7 +119,9 @@
fun check_name_generic context = #1 o Name_Space.check context (get_attributes context);
val check_name = check_name_generic o Context.Proof;
-fun check_src ctxt src = #1 (Args.check_src ctxt (get_attributes (Context.Proof ctxt)) src);
+fun check_src ctxt src =
+ (Context_Position.report ctxt (Args.range_of_src src) Markup.language_attribute;
+ #1 (Args.check_src ctxt (get_attributes (Context.Proof ctxt)) src));
(* pretty printing *)