# HG changeset patch
# User bulwahn
# Date 1302180688 -7200
# Node ID 79be89e07589b2af83762029e062f4e98141039d
# Parent  50850486f8dc6535bddbd49e107e3505db636dea
removing decrement of cardinality in quickcheck -- counting cardinalities starts at 1

diff -r 50850486f8dc -r 79be89e07589 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Thu Apr 07 14:51:26 2011 +0200
+++ b/src/Tools/quickcheck.ML	Thu Apr 07 14:51:28 2011 +0200
@@ -340,7 +340,7 @@
       (* FIXME: why decrement size by one? *)
       let
         val (ts, timing) = cpu_time ("size " ^ string_of_int size ^ " and card " ^ string_of_int card)
-          (fn () => fst (test_fun [card - 1, size - 1]))
+          (fn () => fst (test_fun [card, size - 1]))
         val _ = add_timing timing current_result
       in
         Option.map (pair card) ts