diff options
Diffstat (limited to 'theories/FSets')
| -rw-r--r-- | theories/FSets/FSet.v | 10 |
1 files changed, 5 insertions, 5 deletions
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. |