From 18e86a7f2b3f21fbb00c35d9175c3901f978b513 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Fri, 16 Sep 2016 09:48:42 +0200
Subject: [PATCH] Missing header

---
 src/Unittests/unittests_vector_type.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Unittests/unittests_vector_type.cc b/src/Unittests/unittests_vector_type.cc
index bdb70c4e..07908a91 100644
--- a/src/Unittests/unittests_vector_type.cc
+++ b/src/Unittests/unittests_vector_type.cc
@@ -2,6 +2,7 @@
 #include <Unittests/unittests_common.hh>
 #include <iostream>
 #include <list>
+#include <cstdint>
 
 namespace {