default log level is info, not warn

c-cube · Jan 24, 2024 · 3257c03 · 3257c03
1 parent 4056143
commit 3257c03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/opentheory/logger.ml b/src/opentheory/logger.ml
@@ -135,7 +135,7 @@ let setup_logs ?(files = []) ~(style : [ `COLOR | `SYSTEMD ]) ~debug ~level () =
        (if debug then
          Logs.Debug
        else
-         Logs.Warning));
+         Logs.Info));
   Trustee_core.Log.set_level level;
   Logs.app (fun k -> k "logs are set up (debug=%b)" debug);
   List.iter