src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Tue Mar 25 15:15:33 2014 +0100
+++ b/src/Pure/Isar/attrib.ML	Tue Mar 25 16:11:00 2014 +0100
@@ -181,7 +181,7 @@
     "val (name, scan, comment): binding * attribute context_parser * string"
     "Context.map_theory (Attrib.setup name scan comment)"
     (ML_Lex.read Position.none ("(" ^ ML_Syntax.make_binding name ^ ", ") @
-      ML_Lex.read_source source @
+      ML_Lex.read_source false source @
       ML_Lex.read Position.none (", " ^ ML_Syntax.print_string cmt ^ ")")));