1 files changed, 4 insertions, 2 deletions
diff --git a/theories/FSets/FMapWeakInterface.v b/theories/FSets/FMapWeakInterface.v
index c5f5fd7df6..5a9d3cca66 100644
--- a/theories/FSets/FMapWeakInterface.v
+++ b/theories/FSets/FMapWeakInterface.v
@@ -13,10 +13,12 @@
 (** This file proposes an interface for finite maps over keys with decidable 
      equality, but no decidable order. *)
 
+(* begin hide *)
+Require Export Bool.
+Require Export DecidableType.
 Set Implicit Arguments.
 Unset Strict Implicit.
-Require Import FSetInterface. 
-Require Import FSetWeakInterface. 
+(* end hide *)
 
 Module Type S.