diff --git a/_CoqProject b/_CoqProject
index 24173e2..9d85e9e 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,2 +1,2 @@
--R theories ImpredIrrel
+-R theories DecSyn
 theories