# HG changeset patch
# User wenzelm
# Date 895054669 -7200
# Node ID 7c22890a7a9b1b231cdc6cb13da3c9a6a7277e24
# Parent  fe8b0c82691be9ea6be6f75df93ecfc7cc9c577f
tuned msg;

diff -r fe8b0c82691b -r 7c22890a7a9b src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Wed May 13 12:17:30 1998 +0200
+++ b/src/Pure/axclass.ML	Wed May 13 12:17:49 1998 +0200
@@ -159,7 +159,7 @@
 (* errors *)
 
 fun err_not_logic c =
-  error ("Axiomatic class " ^ quote c ^ " not subclass of \"logic\"");
+  error ("Axiomatic class " ^ quote c ^ " not subclass of " ^ quote logicC);
 
 fun err_bad_axsort ax c =
   error ("Sort constraint in axiom " ^ quote ax ^ " not supersort of " ^ quote c);