changeset 41045 | 2a41709f34c1 |
parent 39898 | c986fc8de255 |
child 41047 | 9f1d3fcef1ca |
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Tue Dec 07 09:58:56 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML Tue Dec 07 11:56:01 2010 +0100 @@ -99,7 +99,7 @@ "" 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