diff --git a/_CoqProject b/_CoqProject
index 2337a45..d437152 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -38,6 +38,7 @@ theories/lib/iter.v
 
 theories/examples/delim_lang/lang.v
 theories/examples/delim_lang/interp.v
+theories/examples/delim_lang/tactics.v
 theories/examples/delim_lang/example.v
 
 theories/examples/input_lang_callcc/lang.v