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