Merge pull request #110 from SkySkimmer/depr-versions

Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)
coq-community · Jun 6, 2023 · 9d7f66f · 9d7f66f
2 parents 93e094a + 04f9394
commit 9d7f66f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/debug.ml b/src/debug.ml
@@ -54,7 +54,7 @@ let debug_flag = [`Time; `Fix; `Module; `Abstraction; `Realizer; `Translate; `Ca
 let debug_mode = ref false
 let set_debug_mode =
    Goptions.declare_bool_option
-    { Goptions.optdepr  = false;
+    { Goptions.optdepr  = None;
       Goptions.optstage = Interp;
       Goptions.optkey   = ["Parametricity"; "Debug"];
       Goptions.optread  = (fun () -> !debug_mode);