diff --git a/src/plugins/wp/Why3Import.ml b/src/plugins/wp/Why3Import.ml
index 56879f81f0de8cb7337fe52d7f1b11ee4a110ebb..dc44b223a8638602b609c3cdee2b318f28b07373 100644
--- a/src/plugins/wp/Why3Import.ml
+++ b/src/plugins/wp/Why3Import.ml
@@ -30,12 +30,12 @@ let () =
       let libs = L.Library.get () in
       List.iter
         (fun dir ->
-           L.debug ~level:1 " + LIB %a@." Filepath.Normalized.pretty dir
+           L.debug ~level:0 " + LIB %a@." Filepath.Normalized.pretty dir
         ) libs ;
       let thys = L.Import.get () in
       List.iter
         (fun thy ->
-           L.debug ~level:1 " + THY %s@." thy
+           L.debug ~level:0 " + THY %s@." thy
         ) thys ;
     end