From 25ebbaf1f325cf4e3694ab379f48a269d1d83d25 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sun, 27 May 2007 19:57:03 +0000
Subject: As suggested by Pierre Casteran, fold for FSets/FMaps now takes a
 (A:Type) instead of a (A:Set).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9863 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/FSets/FMapIntMap.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'theories/FSets/FMapIntMap.v')

diff --git a/theories/FSets/FMapIntMap.v b/theories/FSets/FMapIntMap.v
index 90df4019f4..6ad24f1cc5 100644
--- a/theories/FSets/FMapIntMap.v
+++ b/theories/FSets/FMapIntMap.v
@@ -320,11 +320,11 @@ Module MapIntMap <: S with Module E:=NUsualOrderedType.
   (** unfortunately, the [MapFold] of [IntMap] isn't compatible with 
    the FMap interface. We use a naive version for now : *)
 
-  Definition fold (B:Set)(f:key -> A -> B -> B)(m:t A)(i:B) : B := 
+  Definition fold (B:Type)(f:key -> A -> B -> B)(m:t A)(i:B) : B := 
     fold_left (fun a p => f (fst p) (snd p) a) (elements m) i.
 
   Lemma fold_1 :
-	forall (B:Set) (i : B) (f : key -> A -> B -> B),
+	forall (B:Type) (i : B) (f : key -> A -> B -> B),
         fold f m i = fold_left (fun a p => f (fst p) (snd p) a) (elements m) i.
   Proof. auto. Qed.
 
-- 
cgit v1.2.3