1 files changed, 1 insertions, 1 deletions

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