From 3fa33e025003991c9975d431fa0035daf8bcdd33 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 5 Sep 2022 16:04:59 +0200
Subject: [PATCH] Use Logs.err function for displaying error messages caught by
main.
---
src/main.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index 53efcc8f..fb405301 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -220,4 +220,4 @@ let () =
Cmd.group ~default:default_cmd default_info [ config_cmd; verify_cmd ]
|> Cmd.eval ~catch:false |> Caml.exit
with exn when not (log_level_is_debug ()) ->
- Fmt.epr "%a@." Why3.Exn_printer.exn_printer exn
+ Logs.err (fun m -> m "@[%a@]" Why3.Exn_printer.exn_printer exn)
--
GitLab