From 4fb3460e56c73053065940653bd7d205f5018854 Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Fri, 12 Dec 2025 18:04:01 +0000
Subject: keep pool exception

---
 lib/error.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/error.ml')

diff --git a/lib/error.ml b/lib/error.ml
index da5e579..d98c1ee 100644
--- a/lib/error.ml
+++ b/lib/error.ml
@@ -44,7 +44,7 @@ type input_foreman_error = [
 	| `Latest_cmd_empty of Name.t
 	| `Latest_cmd_fail of Name.t * exn * string
 	| `Prefetch of Name.t * prefetch_error
-	| `Pool_exception of string
+	| `Pool_exception of exn
 	(* FIXME: string list *)
 	| `Many_errors of string list
 ]
-- 
cgit v1.2.3