Make MonadAst universe polymorphic

MetaCoq · Apr 5, 2023 · 5d6e84f · 5d6e84f
1 parent 481ed02
commit 5d6e84f
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}.