--- a/src/Pure/Isar/generic_target.ML Sun Apr 17 21:17:45 2011 +0200
+++ b/src/Pure/Isar/generic_target.ML Sun Apr 17 21:42:47 2011 +0200
@@ -39,7 +39,7 @@
if null extra_tfrees then mx
else
(Context_Position.if_visible ctxt warning
- ("Additional type variable(s) in specification of " ^ Binding.str_of b ^ ": " ^
+ ("Additional type variable(s) in specification of " ^ Binding.print b ^ ": " ^
commas (map (Syntax.string_of_typ ctxt o TFree) (sort_wrt #1 extra_tfrees)) ^
(if mx = NoSyn then ""
else "\nDropping mixfix syntax " ^ Pretty.string_of (Mixfix.pretty_mixfix mx)));