Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned Nitpick message to be in sync with similar warning from Kodkod
authorblanchet
Tue, 28 May 2013 18:12:21 +0200
changeset 52201 9fcceb3c85ae
parent 52200 6324f30e23b6
child 52202 d5c80b12a1f2
tuned Nitpick message to be in sync with similar warning from Kodkod
src/HOL/Tools/Nitpick/nitpick_kodkod.ML file | annotate | diff | comparison | revisions 
--- 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
     ()
isabelle