diff --git a/Test/Framework/Providers/QuickCheck2.hs b/Test/Framework/Providers/QuickCheck2.hs
--- a/Test/Framework/Providers/QuickCheck2.hs
+++ b/Test/Framework/Providers/QuickCheck2.hs
@@ -65,10 +65,10 @@
         tests_run_str = fmap show mb_tests_run `orElse` "an unknown number of"
 
 propertySucceeded :: PropertyResult -> Bool
-propertySucceeded (PropertyResult { pr_status = status, pr_tests_run = mb_n }) = case status of
-  PropertyOK                 -> True
-  PropertyArgumentsExhausted -> maybe False (/= 0) mb_n
-  _                          -> False
+propertySucceeded pr = case pr_status pr of
+  PropertyOK -> True
+  -- NB: Simon Hengel argues in #16 that argument exhaustion should be an error even if we managed to run at least 1 test
+  _          -> False
 
 
 data Property = forall a. Testable a => Property a
diff --git a/test-framework-quickcheck2.cabal b/test-framework-quickcheck2.cabal
--- a/test-framework-quickcheck2.cabal
+++ b/test-framework-quickcheck2.cabal
@@ -1,5 +1,5 @@
 Name:                test-framework-quickcheck2
-Version:             0.2.12.1
+Version:             0.2.12.2
 Cabal-Version:       >= 1.2.3
 Category:            Testing
 Synopsis:            QuickCheck2 support for the test-framework package.