From d4c14ee1ac27203eb21d5637c8fbd50c58d32aef Mon Sep 17 00:00:00 2001
From: hra687261 <hra687261@gmail.com>
Date: Mon, 20 Oct 2025 14:57:56 +0200
Subject: [PATCH] Register exn printer for Errors.Error _

---
 src/lib/structures/errors.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/lib/structures/errors.ml b/src/lib/structures/errors.ml
index 376a4e7241..187ca6df02 100644
--- a/src/lib/structures/errors.ml
+++ b/src/lib/structures/errors.ml
@@ -134,3 +134,11 @@ let report fmt = function
       report_mode_error merr;
   | Model_error err ->
     Fmt.pf fmt "Model Error: %a" report_model_error err
+
+let () =
+  Printexc.register_printer (
+    function
+    | Error e ->
+      Some (Fmt.str "%a" report e)
+    | _ -> None
+  )