src/Pure/Isar/parse_spec.ML
changeset 42287 d98eb048a2e4
parent 40800 330eb65c9469
child 44357 5f5649ac8235
     1.1 --- a/src/Pure/Isar/parse_spec.ML	Fri Apr 08 14:05:31 2011 +0200
     1.2 +++ b/src/Pure/Isar/parse_spec.ML	Fri Apr 08 14:20:57 2011 +0200
     1.3 @@ -87,7 +87,7 @@
     1.4  val locale_fixes =
     1.5    Parse.and_list1 (Parse.binding -- Scan.option (Parse.$$$ "::" |-- Parse.typ) -- locale_mixfix
     1.6      >> (single o Parse.triple1) ||
     1.7 -  Parse.params >> map Syntax.no_syn) >> flat;
     1.8 +  Parse.params >> map (fn (x, y) => (x, y, NoSyn))) >> flat;
     1.9  
    1.10  val locale_insts =
    1.11    Scan.optional