From ce33a8560a5fd3868e233c2f5e0cb554e4b55806 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 19 Dec 2016 17:20:35 +0100
Subject: [PATCH] rename mem_instructions -> mem
---
_CoqProject | 2 +-
theories/typing/{mem_instructions.v => mem.v} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename theories/typing/{mem_instructions.v => mem.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index 81b76b77..4fabc161 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
--
GitLab