From f78ee253bfced259d29b2e25ae6f8890be750ce3 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 17 Mar 2006 09:56:54 +0000
Subject: ajout d'un debut de proprietes pour les FSetWeak

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8286b9c681..9063527728 100644
--- a/Makefile
+++ b/Makefile
@@ -867,7 +867,7 @@ FSETSVO=\
  theories/FSets/FSetProperties.vo    theories/FSets/FSetEqProperties.vo \
  theories/FSets/FSet.vo \
  theories/FSets/FSetWeakInterface.vo theories/FSets/FSetWeakList.vo \
- theories/FSets/FSetWeak.vo \
+ theories/FSets/FSetWeakFacts.vo     theories/FSets/FSetWeak.vo \
  theories/FSets/FMapInterface.vo     theories/FSets/FMapList.vo \
  theories/FSets/FMap.vo \
  theories/FSets/FMapWeakInterface.vo theories/FSets/FMapWeakList.vo \
-- 
cgit v1.2.3