From 75bfb5b76eafb1b73fac2d792961f28d60a8251a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 13 Jun 2003 12:36:03 +0000
Subject: Require Export

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4152 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/FSets/FSet.v | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'theories/FSets')

diff --git a/theories/FSets/FSet.v b/theories/FSets/FSet.v
index 50f3799ed3..66009e3acf 100644
--- a/theories/FSets/FSet.v
+++ b/theories/FSets/FSet.v
@@ -8,9 +8,9 @@
 
 (* $Id$ *)
 
-Require FSetInterface.
-Require FSetBridge.
-Require FSetProperties.
-Require FSetList.
-Require FSetRBT.
+Require Export FSetInterface.
+Require Export FSetBridge.
+Require Export FSetProperties.
+Require Export FSetList.
+Require Export FSetRBT.
 
-- 
cgit v1.2.3