src/Pure/axclass.ML
changeset 4917 7c22890a7a9b
parent 4845 fdc7d8949d82
child 4934 683eae4b5d0f
     1.1 --- a/src/Pure/axclass.ML	Wed May 13 12:17:30 1998 +0200
     1.2 +++ b/src/Pure/axclass.ML	Wed May 13 12:17:49 1998 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4  (* errors *)
     1.5  
     1.6  fun err_not_logic c =
     1.7 -  error ("Axiomatic class " ^ quote c ^ " not subclass of \"logic\"");
     1.8 +  error ("Axiomatic class " ^ quote c ^ " not subclass of " ^ quote logicC);
     1.9  
    1.10  fun err_bad_axsort ax c =
    1.11    error ("Sort constraint in axiom " ^ quote ax ^ " not supersort of " ^ quote c);