diff options
Diffstat (limited to 'theories/FSets/FMapInterface.v')
| -rw-r--r-- | theories/FSets/FMapInterface.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/FSets/FMapInterface.v b/theories/FSets/FMapInterface.v index 03c64b1efc..0bd2c45251 100644 --- a/theories/FSets/FMapInterface.v +++ b/theories/FSets/FMapInterface.v @@ -13,9 +13,10 @@ (** This file proposes an interface for finite maps *) (* begin hide *) +Require Export Bool. +Require Export OrderedType. Set Implicit Arguments. Unset Strict Implicit. -Require Import FSetInterface. (* end hide *) (** When compared with Ocaml Map, this signature has been split in two: |