diff -r 435f3718ed9d -r 4e6fd31c9883 src/Pure/Isar/locale.ML
--- a/src/Pure/Isar/locale.ML	Tue Nov 25 23:29:26 2008 +0100
+++ b/src/Pure/Isar/locale.ML	Thu Nov 27 10:26:00 2008 +0100
@@ -2014,7 +2014,7 @@
 (** Normalisation of locale statements ---
     discharges goals implied by interpretations **)
 
-                                    local
+local
 
 fun locale_assm_intros thy =
   Symtab.fold (fn (_, {intros = (a, _), ...}) => fn intros => (a @ intros))