From 30c662cfd00d7b425dfbb7a02b05b94e2b6cdbee Mon Sep 17 00:00:00 2001
From: fabpiaf <144336756+fabpiaf@users.noreply.github.com>
Date: Thu, 18 Jan 2024 08:09:44 +0000
Subject: [PATCH] Update charpool.cc

---
 charpool.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/charpool.cc b/charpool.cc
index 882ca918e..cf38b9cf3 100644
--- a/charpool.cc
+++ b/charpool.cc
@@ -59,7 +59,9 @@
  ***************************************************************************/
 
 /* $Id$ */
-
+#if defined(__sun)
+#include <climits>
+#endif
 #include <stddef.h>
 #undef NDEBUG
 #include <assert.h>