From f1822868c5addbf169ec19ec84b6db90a198db6f Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Tue, 30 Nov 2021 12:46:24 +0100
Subject: [PATCH] include cstddef in Node.h

---
 src/util/graph/Node.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/graph/Node.h b/src/util/graph/Node.h
index 62d5984..f962dc8 100644
--- a/src/util/graph/Node.h
+++ b/src/util/graph/Node.h
@@ -6,6 +6,7 @@
 #define UTIL_GRAPH_NODE_H_
 
 #include <vector>
+#include <cstddef>
 
 namespace util {
 namespace graph {