diff --git a/_CoqProject b/_CoqProject
index 4489ccb2876733d2156d6e1c85882966758f62ea..496c210bafd16545c1169b4bf22789ac8fcb2f9a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -61,3 +61,4 @@ multi_actris/channel/proto.v
 multi_actris/channel/channel.v
 multi_actris/channel/proofmode.v
 multi_actris/examples/basics.v
+multi_actris/examples/leader_election.v