From 58c70113a815a42593c566f64f2de840fc7e48a1 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 4 Mar 2008 17:33:35 +0000
Subject: migration from Set to Type of FSet/FMap + some dependencies...

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

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

diff --git a/theories/FSets/OrderedTypeEx.v b/theories/FSets/OrderedTypeEx.v
index 4a376e55d6..dbc72e0e7a 100644
--- a/theories/FSets/OrderedTypeEx.v
+++ b/theories/FSets/OrderedTypeEx.v
@@ -25,7 +25,7 @@ Require Import Compare_dec.
     the equality is the usual one of Coq. *)
 
 Module Type UsualOrderedType.
- Parameter Inline t : Set.
+ Parameter Inline t : Type.
  Definition eq := @eq t.
  Parameter Inline lt : t -> t -> Prop.
  Definition eq_refl := @refl_equal t.
-- 
cgit v1.2.3