--- a/src/Pure/Isar/spec_parse.ML Wed Jan 21 18:37:44 2009 +0100
+++ b/src/Pure/Isar/spec_parse.ML Wed Jan 21 20:20:43 2009 +0100
@@ -24,7 +24,7 @@
val locale_fixes: (binding * string option * mixfix) list parser
val locale_insts: (string option list * (Attrib.binding * string) list) parser
val class_expr: string list parser
- val locale_expression: Expression.expression parser
+ val locale_expression: Expression.expression parser
val locale_keyword: string parser
val context_element: Element.context parser
val statement: (Attrib.binding * (string * string list) list) list parser