diff --git a/_CoqProject b/_CoqProject
index 1a9dd0cdc..c93621709 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -38,6 +38,7 @@ theories/numfun.v
 theories/lebesgue_integral.v
 theories/summability.v
 theories/signed.v
+theories/homotopy.v
 theories/altreals/xfinmap.v
 theories/altreals/discrete.v
 theories/altreals/realseq.v