Adapt to coq/coq#18082 (Ltac2 mutable refs are not values) (#115)

Should be backwards compatible.
mit-plv · Sep 26, 2023 · e2721fc · e2721fc
1 parent 43447bc
commit e2721fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Rewriter/Language/Reify.v b/src/Rewriter/Language/Reify.v
@@ -94,7 +94,7 @@ Module Compilers.
     aux tys [] (Fresh.Free.of_constr term).
 
   Module Reify.
-    Ltac2 debug_level := Pre.reify_debug_level.
+    Ltac2 Notation debug_level := Pre.reify_debug_level.
 
     Ltac2 mutable should_debug_enter_reify () := Int.le 3 debug_level.
     Ltac2 mutable should_debug_enter_reify_preprocess () := Int.le 3 debug_level.