From cb5af55e2500748daa62c11f92c53f72e37d49c4 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 21 Nov 2000 16:54:58 +0000
Subject: implicites manuels

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e0768feff8..44c2590cb0 100644
--- a/Makefile
+++ b/Makefile
@@ -298,8 +298,7 @@ REALSVO=theories/Reals/R_Ifp.vo       theories/Reals/Reals.vo \
 	theories/Reals/Rderiv.vo
 
 THEORIESVO = $(LOGICVO) $(ARITHVO) $(BOOLVO) $(ZARITHVO) $(LISTSVO) \
-             $(SETSVO) $(RELATIONSVO) $(REALSVO)
-# TODO: add $(WELLFOUNDEDVO) 
+             $(SETSVO) $(RELATIONSVO) $(WELLFOUNDEDVO) $(REALSVO)
 
 $(THEORIESVO): states/initial.coq
 
-- 
cgit v1.2.3