diff --git a/_CoqProject b/_CoqProject
index c2280582e58b18bb26178cd774d51cf98434e018..f1540d7c785ab242074fa31e19d26bdc0b92a228 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -71,6 +71,7 @@ program_logic/resources.v
 program_logic/hoare.v
 program_logic/language.v
 program_logic/ectx_language.v
+program_logic/ectxi_language.v
 program_logic/ectx_weakestpre.v
 program_logic/ghost_ownership.v
 program_logic/global_functor.v