diff --git a/_CoqProject b/_CoqProject
index 828e6d1f8f6d66ab27037f0a8400aeed750b4bfc..07bbce45d8d0cd5a3b635fd7fa5e796229b7f3ec 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -58,5 +58,4 @@ theories/typing/examples/get_x.v
 theories/typing/examples/rebor.v
 theories/typing/examples/unbox.v
 theories/typing/examples/init_prod.v
-theories/typing/examples/unwrap_or.v
 theories/typing/examples/lazy_lft.v