diff --git a/_CoqProject b/_CoqProject
index 10bdc6d..03aa7ab 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -33,6 +33,7 @@ AbstractInterpretation.v
 CompilerCorrectness.v
 CompilerCorrectness_template.v
 SubsetTypes.v
+SubsetTypes_template.v
 LambdaCalculusAndTypeSoundness_template.v
 LambdaCalculusAndTypeSoundness.v
 TypesAndMutation.v