From dc96d28a1984f40a172dc9f078779ebf463be3f0 Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Thu, 25 Sep 2014 15:25:18 +0200
Subject: [PATCH] fixes headercheck
---
dune/gdt/assembler/system.hh | 1 +
dune/gdt/assembler/tmp-storage.hh | 1 +
2 files changed, 2 insertions(+)
diff --git a/dune/gdt/assembler/system.hh b/dune/gdt/assembler/system.hh
index 863ad4a4b..8d09bd9dd 100644
--- a/dune/gdt/assembler/system.hh
+++ b/dune/gdt/assembler/system.hh
@@ -9,6 +9,7 @@
#include <type_traits>
#include <memory>
+#include <dune/common/version.hh>
#if DUNE_VERSION_NEWER(DUNE_COMMON, 3, 9) //&& HAVE_TBB //EXADUNE
#include <dune/grid/utility/partitioning/seedlist.hh>
#endif
diff --git a/dune/gdt/assembler/tmp-storage.hh b/dune/gdt/assembler/tmp-storage.hh
index 79fc4d94c..bbfda8cbd 100644
--- a/dune/gdt/assembler/tmp-storage.hh
+++ b/dune/gdt/assembler/tmp-storage.hh
@@ -7,6 +7,7 @@
#define DUNE_GDT_ASSEMBLER_TMP_STORAGE_HH
#include <dune/stuff/common/tmp-storage.hh>
+#include <dune/stuff/aliases.hh>
namespace Dune {
namespace GDT {
--
GitLab