From f3c64e9811ac10b3af398d08759da4b3e80a883a Mon Sep 17 00:00:00 2001
From: Kilyan Le Gallic <kilyan.legallic@cea.fr>
Date: Wed, 13 Mar 2024 11:34:35 +0100
Subject: [PATCH] [wp] Switched debug level from 1 to 0 to reduce command
length
---
src/plugins/wp/Why3Import.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/Why3Import.ml b/src/plugins/wp/Why3Import.ml
index 56879f81f0d..dc44b223a86 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
--
GitLab