diff --git a/_CoqProject b/_CoqProject
index b327506ff794ed37d0ef8a951cd080e373e93cd6..828b4052880035981b7007b6e1eff43e1dffc9cd 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -33,4 +33,4 @@ theories/logrel/examples/double.v
 theories/logrel/examples/pair.v
 theories/logrel/examples/rec_subtyping.v
 theories/logrel/examples/choice_subtyping.v
-
+theories/logrel/examples/mapper.v