diff --git a/_CoqProject b/_CoqProject
index 6b5dd962ad9b155db081ec0173863470237d37cc..014c3c8198d67ef68acfe0e7ded7799ad4970e48 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -31,3 +31,5 @@ theories/logrel/term_typing_rules.v
 theories/logrel/lib/mutex.v
 theories/logrel/examples/double.v
 theories/logrel/examples/pair.v
+theories/logrel/examples/subtyping.v
+