1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 600b3546cb..6b1409a9b9 100644
--- a/Makefile
+++ b/Makefile
@@ -594,6 +594,10 @@ SETSVO=theories/Sets/Classical_sets.vo     theories/Sets/Permut.vo \
  theories/Sets/Multiset.vo          theories/Sets/Relations_3_facts.vo \
  theories/Sets/Partial_Order.vo     theories/Sets/Uniset.vo
 
+FSETSVO=theories/FSets/FSet.vo            theories/FSets/FSetList.vo \
+	theories/FSets/FSetBridge.vo      theories/FSets/FSetProperties.vo \
+	theories/FSets/FSetInterface.vo   theories/FSets/FSetRBT.vo 
+
 INTMAPVO=theories/IntMap/Adalloc.vo    theories/IntMap/Mapcanon.vo \
 theories/IntMap/Addec.vo      theories/IntMap/Mapcard.vo \
 theories/IntMap/Addr.vo       theories/IntMap/Mapc.vo \
@@ -678,6 +682,7 @@ bool: $(BOOLVO)
 zarith: $(ZARITHVO)
 lists: $(LISTSVO)
 sets: $(SETSVO)
+fsets: $(FSETSVO)
 intmap: $(INTMAPVO)
 relations: $(RELATIONSVO)
 wellfounded: $(WELLFOUNDEDVO)