diff --git a/_CoqProject b/_CoqProject
index 81cbae1354d3bd9e555bf5fdf7fd912d450ebd36..2c80f2f780c15ea78534f3e42fc0038770c38314 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -45,3 +45,4 @@ theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/tests/get_x.v
 theories/typing/tests/rebor.v
+theories/typing/tests/unbox.v