# HG changeset patch
# User haftmann
# Date 1219829075 -7200
# Node ID b46f48256dab0431605b0166baf5ef4abfc251fa
# Parent  11635f41abc17c659f7f5a2bf01a121d5af76841
proper error message

diff -r 11635f41abc1 -r b46f48256dab src/Tools/code/code_name.ML
--- a/src/Tools/code/code_name.ML	Wed Aug 27 11:24:34 2008 +0200
+++ b/src/Tools/code/code_name.ML	Wed Aug 27 11:24:35 2008 +0200
@@ -174,7 +174,7 @@
   fun thyname_of_tyco thy =
     thyname_of thy (Type.the_tags (Sign.tsig_of thy));
   fun thyname_of_instance thy a = case AxClass.arity_property thy a Markup.theory_nameN
-   of [] => error "no such instance: " ^ (quote o string_of_instance) a
+   of [] => error ("no such instance: " ^ (quote o string_of_instance) a)
     | thyname :: _ => thyname;
   fun thyname_of_const thy =
     thyname_of thy (Consts.the_tags (Sign.consts_of thy));