diff --git a/_CoqProject b/_CoqProject
index 8fce989b51d1b5d1717fd5f9bc6fcbfa031dda7a..6d02c85be6b14ed2f5a7e4f958b4b41d6c80eae3 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -89,10 +89,10 @@ heap_lang/par.v
 heap_lang/tests.v
 heap_lang/substitution.v
 heap_lang/assert.v
-heap_lang/one_shot.v
 barrier/barrier.v
 barrier/specification.v
 barrier/protocol.v
 barrier/proof.v
 barrier/client.v
 examples/joining_existentials.v
+examples/one_shot.v
diff --git a/heap_lang/one_shot.v b/examples/one_shot.v
similarity index 100%
rename from heap_lang/one_shot.v
rename to examples/one_shot.v