diff --git a/_CoqProject b/_CoqProject
index bdae70842e99ef223c076c4c1b33b2c603763ce4..d914ff878dd64dc93325097c297ef93486ca4027 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -47,3 +47,4 @@ theories/typing/tests/get_x.v
 theories/typing/tests/rebor.v
 theories/typing/tests/unbox.v
 theories/typing/tests/init_prod.v
+theories/typing/unsafe/cell.v