diff --git a/_CoqProject b/_CoqProject
index c62d8f89395cc95956a3803a2bbec0e9d04254b8..4de595c58b5312cf83897421606bde48ebf14d3b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -44,7 +44,7 @@ theories/typing/cont.v
 theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/typing.v
-theories/typing/adequacy.v
+theories/typing/soundness.v
 theories/typing/tests/get_x.v
 theories/typing/tests/rebor.v
 theories/typing/tests/unbox.v
diff --git a/theories/typing/adequacy.v b/theories/typing/soundness.v
similarity index 100%
rename from theories/typing/adequacy.v
rename to theories/typing/soundness.v