diff --git a/_CoqProject b/_CoqProject
index 81b76b779cd83b555b86742a0d06225b1e3ffa9a..4fabc161d163d9652de26162b5cdff5c0f3804f8 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -40,4 +40,4 @@ theories/typing/bool.v
 theories/typing/int.v
 theories/typing/function.v
 theories/typing/programs.v
-theories/typing/mem_instructions.v
+theories/typing/mem.v
diff --git a/theories/typing/mem_instructions.v b/theories/typing/mem.v
similarity index 100%
rename from theories/typing/mem_instructions.v
rename to theories/typing/mem.v