# HG changeset patch
# User haftmann
# Date 1149692011 -7200
# Node ID 4820c3d5254859e957b6cdaabd05f807af5965f9
# Parent  faa698d46686929f22ba595549280bf07f2f11cf
fixed typo

diff -r faa698d46686 -r 4820c3d52548 src/Pure/context.ML
--- a/src/Pure/context.ML	Wed Jun 07 02:04:20 2006 +0200
+++ b/src/Pure/context.ML	Wed Jun 07 16:53:31 2006 +0200
@@ -518,7 +518,7 @@
 
 fun transfer_proof thy' (prf as Proof (thy_ref, data)) =
   if not (subthy (deref thy_ref, thy')) then
-    error "transfer proof context: no a super theory"
+    error "transfer proof context: not a super theory"
   else Proof (self_ref thy', data);