From a40f06de52071b6e43265288d929d000a767f2d6 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 25 Apr 2020 21:06:45 +0200
Subject: [PATCH] add #include <stdint.h> for SIZE_MAX

---
 src/misc/alloc.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/misc/alloc.c b/src/misc/alloc.c
index a8aa8640f..c2ca1e0c4 100644
--- a/src/misc/alloc.c
+++ b/src/misc/alloc.c
@@ -2,6 +2,9 @@
 Copyright 1990 Regents of the University of California.  All rights reserved.
 **********/
 
+/* for SIZE_MAX */
+#include <stdint.h>
+
 /* for thread handling */
 #if defined __MINGW32__ || defined _MSC_VER
 #include <windows.h>