| changeset 4917 | 7c22890a7a9b |
| parent 4845 | fdc7d8949d82 |
| child 4934 | 683eae4b5d0f |
--- 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);