diff --git a/_CoqProject b/_CoqProject
index d9619dd327fb08a0d56e32b2e77230c588ca87a5..baef6bf5b589f7315ba054293560561945345663 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 db1879121151539dd8d4df88782ad82df67c22ab..e716714dbf46c31159621b3bd72931593c3c6d8b 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 c87e6ea0a16851e690ab7470d28abfdb50a5d303..278d76aec06d4270d35757fb7d47aa65a541e3e4 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.