diff --git a/_CoqProject b/_CoqProject
index 7ebac33313d2cfadcea8fde76524f16ae29bf968..8e3b1a5f9f4a26f41920e22722357ebf8b65a399 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,5 +1,5 @@
 -Q theories lrust
--arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
+-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files,-convert_concl_no_check
 theories/lifetime/model/definitions.v
 theories/lifetime/model/faking.v
 theories/lifetime/model/creation.v