diff --git a/iris/language.v b/iris/language.v
index afa23eb9c398ab3b78049b22159067b65fc3c5eb..1a4bc01b2e71d1f942027e8a10f7dcffacfdf8af 100644
--- a/iris/language.v
+++ b/iris/language.v
@@ -1,4 +1,4 @@
-Require Export modures.cmra.
+Require Export modures.cofe.
 
 Structure language := Language {
   expr : Type;