src/Pure/Isar/parse_spec.ML

--- a/src/Pure/Isar/parse_spec.ML	Fri Apr 08 14:05:31 2011 +0200
+++ b/src/Pure/Isar/parse_spec.ML	Fri Apr 08 14:20:57 2011 +0200
@@ -87,7 +87,7 @@
 val locale_fixes =
   Parse.and_list1 (Parse.binding -- Scan.option (Parse.$$$ "::" |-- Parse.typ) -- locale_mixfix
     >> (single o Parse.triple1) ||
-  Parse.params >> map Syntax.no_syn) >> flat;
+  Parse.params >> map (fn (x, y) => (x, y, NoSyn))) >> flat;
 
 val locale_insts =
   Scan.optional