From 14ec154f19c8b1db815d224468c8166e863c1bdf Mon Sep 17 00:00:00 2001
From: hiker <henrichsjoerg@gmail.com>
Date: Fri, 7 Apr 2017 20:27:11 +1000
Subject: [PATCH] Try to fix linux build.

---
 src/utils/ptr_vector.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/utils/ptr_vector.hpp b/src/utils/ptr_vector.hpp
index 53bba80e5..2485c9700 100644
--- a/src/utils/ptr_vector.hpp
+++ b/src/utils/ptr_vector.hpp
@@ -28,6 +28,7 @@
 
 #include <vector>
 #include <assert.h>
+#include <stdint.h>
 
 #include "utils/aligned_array.hpp"