diff --git a/_CoqProject b/_CoqProject
index 4e26c536534e4bd292999320b9da867a4ae87171..f671907c1e137f9cc5ccb230244a79c962f35305 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -96,6 +96,7 @@ heap_lang/lib/spawn.v
 heap_lang/lib/par.v
 heap_lang/lib/assert.v
 heap_lang/lib/lock.v
+heap_lang/lib/ticket_lock.v
 heap_lang/lib/counter.v
 heap_lang/lib/barrier/barrier.v
 heap_lang/lib/barrier/specification.v
@@ -110,7 +111,6 @@ tests/proofmode.v
 tests/barrier_client.v
 tests/list_reverse.v
 tests/tree_sum.v
-tests/ticket_lock.v
 proofmode/coq_tactics.v
 proofmode/pviewshifts.v
 proofmode/environments.v
diff --git a/tests/ticket_lock.v b/heap_lang/lib/ticket_lock.v
similarity index 100%
rename from tests/ticket_lock.v
rename to heap_lang/lib/ticket_lock.v