diff -r 4f9803829625 -r 93553f7c722f src/Pure/Isar/spec_parse.ML
--- 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