From 5e9653fbc9c146e6e0cc16add5e483516946ad3a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 18 Feb 2016 10:03:02 +0100
Subject: [PATCH] rename heap_lang/heap_lang -> heap_lang/lang
---
_CoqProject | 2 +-
heap_lang/{heap_lang.v => lang.v} | 0
heap_lang/lifting.v | 2 +-
heap_lang/tactics.v | 2 +-
4 files changed, 3 insertions(+), 3 deletions(-)
rename heap_lang/{heap_lang.v => lang.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index d9619dd32..baef6bf5b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -71,7 +71,7 @@ program_logic/saved_prop.v
program_logic/auth.v
program_logic/sts.v
program_logic/namespaces.v
-heap_lang/heap_lang.v
+heap_lang/lang.v
heap_lang/tactics.v
heap_lang/wp_tactics.v
heap_lang/lifting.v
diff --git a/heap_lang/heap_lang.v b/heap_lang/lang.v
similarity index 100%
rename from heap_lang/heap_lang.v
rename to heap_lang/lang.v
diff --git a/heap_lang/lifting.v b/heap_lang/lifting.v
index db1879121..e716714db 100644
--- a/heap_lang/lifting.v
+++ b/heap_lang/lifting.v
@@ -1,5 +1,5 @@
From program_logic Require Export weakestpre.
-From heap_lang Require Export heap_lang.
+From heap_lang Require Export lang.
From program_logic Require Import lifting.
From program_logic Require Import ownership. (* for ownP *)
From heap_lang Require Import tactics.
diff --git a/heap_lang/tactics.v b/heap_lang/tactics.v
index c87e6ea0a..278d76aec 100644
--- a/heap_lang/tactics.v
+++ b/heap_lang/tactics.v
@@ -1,4 +1,4 @@
-From heap_lang Require Export heap_lang.
+From heap_lang Require Export lang.
From prelude Require Import fin_maps.
Import heap_lang.
--
GitLab