diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-20 11:49:19 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-10-20 11:49:19 +0000 |
| commit | efc09aa417b49315aa9e1fea1a13987241d3752a (patch) | |
| tree | 83a259efb5c67b94dd46af9b64546377f2975a91 /theories/theories.itarget | |
| parent | b2f8c34af642840ea80f14986cac285af1900767 (diff) | |
FSetCompat: a compatibility wrapper between FSets and MSets
Thanks to the functors in FSetCompat, the three implementations
of FSets (FSetWeakList, FSetList, FSetAVL) are just made of a few
lines adapting the corresponding MSets implementation to the old
interface.
This approach breaks FSetFullAVL. Since this file is of little use
for stdlib users, we migrate it into contrib Orsay/FSets.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12402 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/theories.itarget')
| -rw-r--r-- | theories/theories.itarget | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget index 09aeac753..44c6feee7 100644 --- a/theories/theories.itarget +++ b/theories/theories.itarget @@ -49,12 +49,12 @@ FSets/FMapList.vo FSets/FMapPositive.vo FSets/FMaps.vo FSets/FMapWeakList.vo +FSets/FSetCompat.vo FSets/FSetAVL.vo FSets/FSetBridge.vo FSets/FSetDecide.vo FSets/FSetEqProperties.vo FSets/FSetFacts.vo -FSets/FSetFullAVL.vo FSets/FSetInterface.vo FSets/FSetList.vo FSets/FSetProperties.vo |