src/Pure/Isar/parse.ML
changeset 42287 d98eb048a2e4
parent 40800 330eb65c9469
child 42297 140f283266b7
     1.1 --- a/src/Pure/Isar/parse.ML	Fri Apr 08 14:05:31 2011 +0200
     1.2 +++ b/src/Pure/Isar/parse.ML	Fri Apr 08 14:20:57 2011 +0200
     1.3 @@ -305,7 +305,7 @@
     1.4  
     1.5  val fixes =
     1.6    and_list1 (binding -- Scan.option ($$$ "::" |-- typ) -- mixfix >> (single o triple1) ||
     1.7 -    params >> map Syntax.no_syn) >> flat;
     1.8 +    params >> map (fn (x, y) => (x, y, NoSyn))) >> flat;
     1.9  
    1.10  val for_fixes = Scan.optional ($$$ "for" |-- !!! fixes) [];
    1.11  val for_simple_fixes = Scan.optional ($$$ "for" |-- !!! simple_fixes) [];