diff --git a/_CoqProject b/_CoqProject
index 649a4017e4193c4c13d412ddd939b6b92f2c0daf..2ccb23daf7082a0525187b630dad842a20656a30 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -63,8 +63,8 @@ iris/hoare.v
 iris/language.v
 iris/functor.v
 iris/tests.v
-barrier/heap_lang.v
-barrier/heap_lang_tactics.v
-barrier/lifting.v
-barrier/sugar.v
-barrier/tests.v
+heap_lang/heap_lang.v
+heap_lang/heap_lang_tactics.v
+heap_lang/lifting.v
+heap_lang/sugar.v
+heap_lang/tests.v
diff --git a/barrier/heap_lang.v b/heap_lang/heap_lang.v
similarity index 100%
rename from barrier/heap_lang.v
rename to heap_lang/heap_lang.v
diff --git a/barrier/heap_lang_tactics.v b/heap_lang/heap_lang_tactics.v
similarity index 100%
rename from barrier/heap_lang_tactics.v
rename to heap_lang/heap_lang_tactics.v
diff --git a/barrier/lifting.v b/heap_lang/lifting.v
similarity index 100%
rename from barrier/lifting.v
rename to heap_lang/lifting.v
diff --git a/barrier/sugar.v b/heap_lang/sugar.v
similarity index 100%
rename from barrier/sugar.v
rename to heap_lang/sugar.v
diff --git a/barrier/tests.v b/heap_lang/tests.v
similarity index 100%
rename from barrier/tests.v
rename to heap_lang/tests.v