src/Pure/Isar/attrib.ML
changeset 37198 3af985b10550
parent 36959 f5417836dbea
child 38329 16bb1e60204b
--- a/src/Pure/Isar/attrib.ML	Sun May 30 18:23:50 2010 +0200
+++ b/src/Pure/Isar/attrib.ML	Sun May 30 21:34:19 2010 +0200
@@ -153,7 +153,9 @@
   Context.theory_map (ML_Context.expression pos
     "val (name, scan, comment): binding * attribute context_parser * string"
     "Context.map_theory (Attrib.setup name scan comment)"
-    ("(" ^ ML_Syntax.make_binding name ^ ", " ^ txt ^ ", " ^ ML_Syntax.print_string cmt ^ ")"));
+    (ML_Lex.read Position.none ("(" ^ ML_Syntax.make_binding name ^ ", ") @
+      ML_Lex.read pos txt @
+      ML_Lex.read Position.none (", " ^ ML_Syntax.print_string cmt ^ ")")));
 
 
 (* add/del syntax *)