diff --git a/_CoqProject b/_CoqProject
index 96e568205726a5fbe9b5c2d11f8b4b3e1097244f..9922e223468d41826a139175cc9c6b74b0e6c7ab 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -41,7 +41,7 @@ theories/bi/monpred.v
 theories/bi/embedding.v
 theories/bi/weakestpre.v
 theories/bi/telescopes.v
-theories/bi/lib/counter_examples.v
+theories/bi/lib/counterexamples.v
 theories/bi/lib/fixpoint.v
 theories/bi/lib/fractional.v
 theories/bi/lib/laterable.v
diff --git a/theories/bi/lib/counter_examples.v b/theories/bi/lib/counterexamples.v
similarity index 100%
rename from theories/bi/lib/counter_examples.v
rename to theories/bi/lib/counterexamples.v