1.1 --- a/src/Tools/code/code_funcgr.ML	Sun Apr 13 16:40:07 2008 +0200
     1.2 +++ b/src/Tools/code/code_funcgr.ML	Sun Apr 13 16:40:08 2008 +0200
     1.3 @@ -115,7 +115,7 @@
     1.4              val tys = Sign.const_typargs thy (c, ty);
     1.5              val sorts = map (snd o dest_TVar) (Sign.const_typargs thy (c, ty_decl));
     1.6            in fn tab => fold2 (curry (Sorts.meet_sort algebra)) tys sorts tab
     1.7 -            handle Sorts.CLASS_ERROR e => raise CLASS_ERROR ([c], Sorts.msg_class_error pp e ^ ",\n"
     1.8 +            handle Sorts.CLASS_ERROR e => raise CLASS_ERROR ([c], Sorts.class_error pp e ^ ",\n"
     1.9                ^ "for constant " ^ CodeUnit.string_of_const thy c
    1.10                ^ "\nin defining equations(s)\n"
    1.11                ^ (cat_lines o map string_of_thm) thms)