From efc09aa417b49315aa9e1fea1a13987241d3752a Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 20 Oct 2009 11:49:19 +0000
Subject: 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
---
 Makefile.common | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 967f7b21ed..06e5f3b4bb 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -379,7 +379,7 @@ FSETSBASEVO:=$(addprefix theories/FSets/, \
  FSetInterface.vo	FSetList.vo 		FSetBridge.vo        	\
  FSetFacts.vo 		FSetProperties.vo	FSetEqProperties.vo 	\
  FSetWeakList.vo 	FSetAVL.vo           	FSetDecide.vo 		\
- FSets.vo \
+ FSetCompat.vo          FSets.vo \
  FMapInterface.vo       FMapList.vo		FMapFacts.vo 		\
  FMapWeakList.vo      	FMapPositive.vo		FSetToFiniteSet.vo   	\
  FMaps.vo )            
@@ -387,7 +387,8 @@ FSETSBASEVO:=$(addprefix theories/FSets/, \
 FSETS_basic:=
 
 FSETS_all:=$(addprefix theories/FSets/, \
- FSetFullAVL.vo 	FMapAVL.vo 		FMapFullAVL.vo )
+ FMapAVL.vo 		FMapFullAVL.vo )
+
 
 FSETSVO:=$(FSETSBASEVO) $(FSETS_$(FSETS))
 
-- 
cgit v1.2.3