From 2af46deede06386ea483d500cece4deb4ed1a58f Mon Sep 17 00:00:00 2001
From: joergoster <osterj165@googlemail.com>
Date: Thu, 25 Jun 2020 15:52:19 +0200
Subject: [PATCH] Fix include.

---
 src/types.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/types.h b/src/types.h
index 6fe6d154..a4a9f315 100644
--- a/src/types.h
+++ b/src/types.h
@@ -40,6 +40,7 @@
 
 #include <cassert>
 #include <cctype>
+#include <climits>
 #include <cstdint>
 #include <cstdlib>
 #include <algorithm>