Merge pull request #897 from JasonGross/coq-8.16+monad-ast-poly

Make MonadAst universe polymorphic
MetaCoq · Apr 5, 2023 · 708c53b · 708c53b
2 parents 61a1b43 + 5d6e84f
commit 708c53b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/template-coq/theories/MonadAst.v b/template-coq/theories/MonadAst.v
@@ -3,6 +3,8 @@ From MetaCoq.Utils Require Import utils monad_utils.
 From MetaCoq.Template Require Import Ast.
 
 Import MCMonadNotation.
+Local Set Universe Polymorphism.
+Local Unset Universe Minimization ToSet.
 
 Section with_monad.
   Context {T} {M : Monad T}.