diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject
index 2e19a96..b30ce1f 100644
--- a/FiniteSets/_CoqProject
+++ b/FiniteSets/_CoqProject
@@ -19,5 +19,6 @@ FSets.v
 Sub.v
 implementations/lists.v
 variations/enumerated.v
+variations/k_finite.v
 #empty_set.v
 #ordered.v