From 454b513f33278ec021c06c0162d425aefcb312ef Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Sat, 7 Nov 2015 22:06:24 +0100
Subject: [PATCH] fixes headerchecks

---
 dune/stuff/common/random.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/stuff/common/random.hh b/dune/stuff/common/random.hh
index 573c6b2f7..57fb057f5 100644
--- a/dune/stuff/common/random.hh
+++ b/dune/stuff/common/random.hh
@@ -8,6 +8,7 @@
 
 #include <random>
 #include <limits>
+#include <complex>
 
 #include <boost/assign/list_of.hpp>
 #include <boost/numeric/conversion/cast.hpp>
-- 
GitLab