# HG changeset patch
# User Christian Sternagel
# Date 1375413062 -32400
# Node ID 9ce4d52c917604691e8ecc7ca05f42348ec15b5e
# Parent  b8dede3a4f1dd87268bd8aa9bd3fb1905f800c18
tuned formatting of error message

diff -r b8dede3a4f1d -r 9ce4d52c9176 src/Tools/adhoc_overloading.ML
--- a/src/Tools/adhoc_overloading.ML	Wed Aug 07 14:47:50 2013 +0200
+++ b/src/Tools/adhoc_overloading.ML	Fri Aug 02 12:11:02 2013 +0900
@@ -41,7 +41,7 @@
       "in term " ::
       quote (Syntax.string_of_term ctxt' t) ::
       (if null instances then "no instances" else "multiple instances:") ::
-    map (Syntax.string_of_term ctxt') instances)
+    map (Markup.markup Markup.item o Syntax.string_of_term ctxt') instances)
     |> error
   end;