From d2711b5934da05f3c587afb5bb787be98e8d2b94 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 18 Apr 2024 11:32:27 +0200
Subject: [PATCH] [Logging] Print Base Not_found error
---
src/logging.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/logging.ml b/src/logging.ml
index 77cd615..afe6c3d 100644
--- a/src/logging.ml
+++ b/src/logging.ml
@@ -117,4 +117,5 @@ let () =
| Invalid_argument msg -> Fmt.pf fmt "Invalid argument: %s" msg
| Failure msg -> Fmt.pf fmt "Failure: %s" msg
| Sys_error msg -> Fmt.pf fmt "%s" msg
+ | Sexplib0.Sexp.Not_found_s sexp -> Sexplib0.Sexp.pp_hum fmt sexp
| _ -> raise exn)
--
GitLab