fixed typo
authorhaftmann
Wed Jun 07 16:53:31 2006 +0200 (2006-06-07)
changeset 198154820c3d52548
parent 19814 faa698d46686
child 19816 a8c8ed1c85e0
fixed typo
src/Pure/context.ML
     1.1 --- a/src/Pure/context.ML	Wed Jun 07 02:04:20 2006 +0200
     1.2 +++ b/src/Pure/context.ML	Wed Jun 07 16:53:31 2006 +0200
     1.3 @@ -518,7 +518,7 @@
     1.4  
     1.5  fun transfer_proof thy' (prf as Proof (thy_ref, data)) =
     1.6    if not (subthy (deref thy_ref, thy')) then
     1.7 -    error "transfer proof context: no a super theory"
     1.8 +    error "transfer proof context: not a super theory"
     1.9    else Proof (self_ref thy', data);
    1.10  
    1.11