diff --git a/_CoqProject b/_CoqProject
index 3bd069d9470d6943ac46dda8fe788ca9f0808f6a..1c627ac7d31d9b183ca410ac3b33bd3d80f60ee4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -61,3 +61,5 @@ theories/examples/par.v
 
 theories/experimental/helping/mailbox.v
 theories/experimental/helping/helping_stack.v
+
+theories/experimental/hocap/counter.v