diff --git a/_CoqProject b/_CoqProject
index e5adcf5cd279a82038e8a49c99363344892ed051..df988bd6cb5b25cddb05cd04b2b7f0cedd03813f 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -106,6 +106,7 @@ tests/one_shot.v
 tests/joining_existentials.v
 tests/proofmode.v
 tests/barrier_client.v
+tests/list_reverse.v
 proofmode/coq_tactics.v
 proofmode/pviewshifts.v
 proofmode/environments.v