From 8d82a0fcc6e5a121f27177ace8508bcc40b1ec5d Mon Sep 17 00:00:00 2001
From: Joshua Moerman <moerman@science.ru.nl>
Date: Wed, 6 May 2015 17:37:35 +0200
Subject: [PATCH] Linux is a bit more pedantic when it comes to size_t

---
 lib/types.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/types.hpp b/lib/types.hpp
index 7871280..0667b06 100644
--- a/lib/types.hpp
+++ b/lib/types.hpp
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <stddef.h> // for size_t
 #include <vector>
 
 // We use size_ts for fast indexing. Note that there is little type safety here