src/HOL/Tools/Nitpick/nitpick_kodkod.ML

                      "arity " ^ string_of_int n ^
                      (if guilty_party = "" then
                         ""
                       else
                         " of Kodkod relation associated with " ^
-                        quote guilty_party) ^
+                        quote (original_name guilty_party)) ^
                      " too large for universe of cardinality " ^
                      string_of_int univ_card)
   else
     ()