From 39f6bc84e726a6e3e09644b5b7e38c3c3475972b Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 4 Sep 2008 09:43:36 +0000
Subject: Correction du bug #1937

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11359 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/FSets/FMapFacts.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/FSets/FMapFacts.v b/theories/FSets/FMapFacts.v
index 20f4623f9f..e7dba21bd9 100644
--- a/theories/FSets/FMapFacts.v
+++ b/theories/FSets/FMapFacts.v
@@ -975,7 +975,7 @@ Module WProperties (E:DecidableType)(M:WSfun E).
    fold (fun k e b => if f k e then true else b) m false.
 
   Definition partition (f : key -> elt -> bool)(m : t elt) := 
-   (filter f m, filter (fun k e => negb (f k e))).
+   (filter f m, filter (fun k e => negb (f k e)) m).
 
   Section Specs.
   Variable f : key -> elt -> bool.
-- 
cgit v1.2.3