diff --git a/_CoqProject b/_CoqProject
index bd65b66b8fea1c8905d8fbc3176ad2530a3fcffa..2793abada3d6f975a9c44ad72b8acceb0f90839c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -96,13 +96,13 @@ heap_lang/lib/barrier/barrier.v
 heap_lang/lib/barrier/specification.v
 heap_lang/lib/barrier/protocol.v
 heap_lang/lib/barrier/proof.v
-heap_lang/lib/barrier/client.v
 heap_lang/proofmode.v
 tests/heap_lang.v
 tests/program_logic.v
 tests/one_shot.v
 tests/joining_existentials.v
 tests/proofmode.v
+tests/barrier_client.v
 proofmode/coq_tactics.v
 proofmode/pviewshifts.v
 proofmode/environments.v
diff --git a/heap_lang/lib/barrier/client.v b/tests/barrier_client.v
similarity index 100%
rename from heap_lang/lib/barrier/client.v
rename to tests/barrier_client.v