reduce imports of language.v

114b46c7 · Ralf Jung · 2ccdb104 · 114b46c7
Commit 114b46c7 authored Feb 02, 2016 by Ralf Jung
--- a/iris/language.v
+++ b/iris/language.v
-Require Export modures.cmra.
+Require Export modures.cofe.

 Structure language := Language {
  expr : Type;