diff --git a/_CoqProject b/_CoqProject
index 8b0180d..6e472d4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -14,4 +14,5 @@ TransitionSystems_template.v
 TransitionSystems.v
 ModelChecking_template.v
 ModelChecking.v
+OperationalSemantics_template.v
 OperationalSemantics.v