Fixed strange indentation.
authorballarin
Thu Nov 27 10:26:00 2008 +0100 (2008-11-27)
changeset 288934e6fd31c9883
parent 28892 435f3718ed9d
child 28894 ff724071b902
Fixed strange indentation.
src/Pure/Isar/locale.ML
     1.1 --- a/src/Pure/Isar/locale.ML	Tue Nov 25 23:29:26 2008 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Thu Nov 27 10:26:00 2008 +0100
     1.3 @@ -2014,7 +2014,7 @@
     1.4  (** Normalisation of locale statements ---
     1.5      discharges goals implied by interpretations **)
     1.6  
     1.7 -                                    local
     1.8 +local
     1.9  
    1.10  fun locale_assm_intros thy =
    1.11    Symtab.fold (fn (_, {intros = (a, _), ...}) => fn intros => (a @ intros))