Adapt to coq/coq#18529 (no Dyn.anonymous)

SkySkimmer · Jan 24, 2024 · 975ee57 · 975ee57
1 parent 3ee230f
commit 975ee57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/exceptions.ml b/src/exceptions.ml
@@ -21,7 +21,7 @@ open Pp
 (**
   Basic exception info
 *)
-let fatal_flag: 'a Exninfo.t = Exninfo.make ()
+let fatal_flag: unit Exninfo.t = Exninfo.make "waterproof_fatal_flag"
 
 (**
   Type of exceptions used in Wateproof