From 27a8f47ef129018a069a8a665296dc59efe4db97 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 12 Apr 2023 10:03:47 +0200
Subject: [PATCH] [main] Catch system errors.
---
src/main.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main.ml b/src/main.ml
index 8dbb9e4..993fac0 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -450,6 +450,7 @@ let () =
match exn with
| 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
| _ -> raise exn)
let () =
--
GitLab