diff --git a/_CoqProject b/_CoqProject
index 76621c1e8aa95d1abc505a9ccc7186e3c406837e..6fac0e7915b8936ea8e1197651bd321806e02ef9 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -34,7 +34,7 @@ theories/base_logic/hlist.v
 theories/base_logic/soundness.v
 theories/base_logic/double_negation.v
 theories/base_logic/deprecated.v
-theories/base_logic/fix.v
+theories/base_logic/fixpoint.v
 theories/base_logic/lib/iprop.v
 theories/base_logic/lib/own.v
 theories/base_logic/lib/saved_prop.v
diff --git a/theories/base_logic/fix.v b/theories/base_logic/fixpoint.v
similarity index 100%
rename from theories/base_logic/fix.v
rename to theories/base_logic/fixpoint.v