From 49ef74982e3d810b9296dd62a7ba30053ceb8e63 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 28 Mar 2006 11:59:44 +0000
Subject: reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt
 / OrderedType.Lt,Eq,Gt

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8667 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e6b5be6c1a..18078111b3 100644
--- a/Makefile
+++ b/Makefile
@@ -866,11 +866,11 @@ FSETSVO=\
  theories/FSets/FSetInterface.vo     theories/FSets/FSetList.vo \
  theories/FSets/FSetBridge.vo        theories/FSets/FSetFacts.vo \
  theories/FSets/FSetProperties.vo    theories/FSets/FSetEqProperties.vo \
- theories/FSets/FSet.vo \
+ theories/FSets/FSets.vo \
  theories/FSets/FSetWeakInterface.vo theories/FSets/FSetWeakList.vo \
  theories/FSets/FSetWeakFacts.vo     theories/FSets/FSetWeak.vo \
  theories/FSets/FMapInterface.vo     theories/FSets/FMapList.vo \
- theories/FSets/FMap.vo \
+ theories/FSets/FMaps.vo \
  theories/FSets/FMapWeakInterface.vo theories/FSets/FMapWeakList.vo \
  theories/FSets/FMapWeak.vo
 
-- 
cgit v1.2.3