From 7950d5c2732cf35f9e5ef69c9f85524d08418f4c Mon Sep 17 00:00:00 2001
From: Martin Heistermann <git@mheistermann.de>
Date: Mon, 22 Aug 2022 17:16:30 +0200
Subject: [PATCH] Add missing include for ptrdiff_t

---
 Utils/IOutputStream.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Utils/IOutputStream.hh b/Utils/IOutputStream.hh
index 524a8eb..4fe89e6 100644
--- a/Utils/IOutputStream.hh
+++ b/Utils/IOutputStream.hh
@@ -5,6 +5,7 @@
 
 #include <string>
 #include <vector>
+#include <cstddef>
 #include <stdint.h>
 #include <cinttypes>
 #include <limits.h>
-- 
GitLab