1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index e0768feff..44c2590cb 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