Update charpool.cc

This commit is contained in:
fabpiaf 2024-01-18 08:09:44 +00:00 committed by GitHub
parent 8dac358328
commit 30c662cfd0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -59,7 +59,9 @@
***************************************************************************/
/* $Id$ */
#if defined(__sun)
#include <climits>
#endif
#include <stddef.h>
#undef NDEBUG
#include <assert.h>