From a6141793949e97c818523453f9c8fc8bf3c5194f Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Tue, 22 May 2012 01:18:34 +0200
Subject: use all instead of filter

---
 AufgabeFFP7.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'AufgabeFFP7.hs')

diff --git a/AufgabeFFP7.hs b/AufgabeFFP7.hs
index 4ac8ebd..13f1448 100644
--- a/AufgabeFFP7.hs
+++ b/AufgabeFFP7.hs
@@ -124,6 +124,6 @@ prop_ssfn_eq_minfree_a xs = minfree pos == ssfn pos
     pos = filter (>= 0) xs
 
 prop_ssfn_eq_minfree_b :: Nat -> Property
-prop_ssfn_eq_minfree_b xs = filter (< 0) xs == []
+prop_ssfn_eq_minfree_b xs = all (>= 0) xs
   ==> ssfn xs == minfree xs
 
-- 
cgit v1.2.3