# HG changeset patch
# User blanchet
# Date 1369757541 -7200
# Node ID 9fcceb3c85aeee84f6934b77f234bc60edb73a49
# Parent  6324f30e23b6bf69d2fb00748941535124fa241a
tuned Nitpick message to be in sync with similar warning from Kodkod

diff -r 6324f30e23b6 -r 9fcceb3c85ae src/HOL/Tools/Nitpick/nitpick_kodkod.ML
--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Tue May 28 13:22:06 2013 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Tue May 28 18:12:21 2013 +0200
@@ -104,7 +104,7 @@
                       else
                         " of Kodkod relation associated with " ^
                         quote (original_name guilty_party)) ^
-                     " too large for universe of cardinality " ^
+                     " too large for a universe of size " ^
                      string_of_int univ_card)
   else
     ()