1.1 --- a/src/Tools/code/code_name.ML	Wed Aug 27 11:24:34 2008 +0200
     1.2 +++ b/src/Tools/code/code_name.ML	Wed Aug 27 11:24:35 2008 +0200
     1.3 @@ -174,7 +174,7 @@
     1.4    fun thyname_of_tyco thy =
     1.5      thyname_of thy (Type.the_tags (Sign.tsig_of thy));
     1.6    fun thyname_of_instance thy a = case AxClass.arity_property thy a Markup.theory_nameN
     1.7 -   of [] => error "no such instance: " ^ (quote o string_of_instance) a
     1.8 +   of [] => error ("no such instance: " ^ (quote o string_of_instance) a)
     1.9      | thyname :: _ => thyname;
    1.10    fun thyname_of_const thy =
    1.11      thyname_of thy (Consts.the_tags (Sign.consts_of thy));