From 5d6e84f531608fd694c813bd70412974fd7ad026 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 4 Apr 2023 22:12:31 -0700
Subject: [PATCH] Make MonadAst universe polymorphic

---
 template-coq/theories/MonadAst.v | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/template-coq/theories/MonadAst.v b/template-coq/theories/MonadAst.v
index 8f7a2a8bb..4500bfdca 100644
--- 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}.