diff options
Diffstat (limited to 'theories/IntMap/Fset.v')
| -rw-r--r-- | theories/IntMap/Fset.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/theories/IntMap/Fset.v b/theories/IntMap/Fset.v index 351a7c7d7d..bcdc4a7bf4 100644 --- a/theories/IntMap/Fset.v +++ b/theories/IntMap/Fset.v @@ -18,7 +18,7 @@ Require Import Map. Section Dom. - Variables A B : Set. + Variables A B : Type. Fixpoint MapDomRestrTo (m:Map A) : Map B -> Map A := match m with @@ -229,7 +229,7 @@ End Dom. Section InDom. - Variables A B : Set. + Variables A B : Type. Lemma in_dom_restrto : forall (m:Map A) (m':Map B) (a:ad), @@ -259,7 +259,7 @@ Definition FSet := Map unit. Section FSetDefs. - Variable A : Set. + Variable A : Type. Definition in_FSet : ad -> FSet -> bool := in_dom unit. |