From 7dac84295d86c425c301641c55683894f5c22c55 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 18 Jun 2010 16:19:43 +0000
Subject: fsetdec: a forgotten Set instead of Type was breaking discard_nonFset
 (fix #2281)

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

diff --git a/theories/FSets/FSetDecide.v b/theories/FSets/FSetDecide.v
index 2769c76116..cc78fdb4da 100644
--- a/theories/FSets/FSetDecide.v
+++ b/theories/FSets/FSetDecide.v
@@ -416,7 +416,7 @@ the above form:
         propositions of interest. *)
 
     Inductive FSet_elt_Prop : Prop -> Prop :=
-    | eq_Prop : forall (S : Set) (x y : S),
+    | eq_Prop : forall (S : Type) (x y : S),
         FSet_elt_Prop (x = y)
     | eq_elt_prop : forall x y,
         FSet_elt_Prop (E.eq x y)
-- 
cgit v1.2.3