src/Pure/context.ML
changeset 19815 4820c3d52548
parent 19678 d1a15431de34
child 20297 a9a917b356af
     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