diff --git a/_CoqProject b/_CoqProject
index 78c2505f966843b83001461112fd584a4fad3494..2be7b0eb41955b5b11e992a24bb92a3a01715dec 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -8,5 +8,5 @@ theories/channel/proto_model.v
 theories/channel/proto_channel.v
 theories/examples/list_sort.v
 theories/examples/list_sort_instances.v
+theories/examples/list_sort_elem.v
 theories/examples/loop_sort.v
-theories/examples/loop_sort.v
\ No newline at end of file