# HG changeset patch
# User wenzelm
# Date 1211115885 -7200
# Node ID 80366b6eb94c1dd5f4db9929977c02646bb8089d
# Parent  a9a1ebfb4d23bfe7afc1ab52e7d1f8fe1f11fda0
Syntax.string_of_sort: proper context;

diff -r a9a1ebfb4d23 -r 80366b6eb94c src/Pure/Isar/subclass.ML
--- a/src/Pure/Isar/subclass.ML	Sun May 18 15:04:43 2008 +0200
+++ b/src/Pure/Isar/subclass.ML	Sun May 18 15:04:45 2008 +0200
@@ -28,8 +28,8 @@
     val sup_params = map fst (Class.these_params thy [sup]);
     val err_params = subtract (op =) sub_params sup_params;
     val _ = if null err_params then [] else
-      error ("Class " ^ Sign.string_of_sort thy [sub] ^ " lacks parameter(s) " ^
-        commas_quote err_params ^ " of " ^ Sign.string_of_sort thy [sup]);
+      error ("Class " ^ Syntax.string_of_sort lthy [sub] ^ " lacks parameter(s) " ^
+        commas_quote err_params ^ " of " ^ Syntax.string_of_sort lthy [sup]);
     val sublocale_prop =
       Locale.global_asms_of thy sup
       |> maps snd