diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject
index 85d0935..1717c73 100644
--- a/FiniteSets/_CoqProject
+++ b/FiniteSets/_CoqProject
@@ -9,3 +9,4 @@ ordered.v
 cons_repr.v
 Lattice.v
 monad.v
+Lists.v