Update misc.ml

INRIA · Oct 30, 2024 · 7dee804 · 7dee804
1 parent 5b4c627
commit 7dee804
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/global/misc.ml b/src/global/misc.ml
@@ -76,7 +76,7 @@ let inline_all = ref false
 
 let verbose = ref false
 let vverbose = ref false
-let debug = ref false
+let debug = ref true
 
 let set_verbose () =
   verbose := true;