diff --git a/src/main.ml b/src/main.ml
index fbcfe6075aed69dbeb549b6ae6200862110bf4cc..c22b8dc970ede6879fb4c927055d1b9e9fe16e2b 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -46,7 +46,10 @@ let config detect () =
   if detect
   then begin
     Logs.debug (fun m -> m "Automatic detection.");
-    let config = Autodetection.autodetect ~debug:false () in
+    let config =
+      let debug = match Logs.level () with Some Debug -> true | _ -> false in
+      Autodetection.autodetect ~debug ()
+    in
     let open Why3 in
     let provers = Whyconf.get_provers config in
     Logs.app (fun m ->