src/Pure/Tools/codegen_names.ML

   in case thy_of thy
    of SOME thy => Context.theory_name thy
     | NONE => error (errmsg x) end;
 
 fun thyname_of_class thy =
-  thyname_of thy (fn thy => member (op =) (Sign.classes thy))
+  thyname_of thy (fn thy => member (op =) (Sign.all_classes thy))
     (fn class => "thyname_of_class: no such class: " ^ quote class);
 
 fun thyname_of_classrel thy =
   thyname_of thy (fn thy => fn (class1, class2) => Sign.subsort thy ([class1], [class2]))
     (fn (class1, class2) => "thyname_of_classrel: no such classrel: " ^ quote class1 ^ " in " ^ quote class2);