--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Fri Sep 06 19:17:29 2024 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Fri Sep 06 20:31:20 2024 +0200
@@ -303,7 +303,7 @@
fun bound_comment ctxt debug nick T R =
short_name nick ^
- (if debug then " :: " ^ YXML.content_of (Syntax.string_of_typ ctxt T) else "") ^
+ (if debug then " :: " ^ Protocol_Message.clean_output (Syntax.string_of_typ ctxt T) else "") ^
" : " ^ string_for_rep R
fun bound_for_plain_rel ctxt debug (u as FreeRel (x, T, R, nick)) =