From f5e9f6b6f7d1165772b18c1f083b80d005a59dab Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Fri, 2 Oct 2015 17:58:09 +0200
Subject: [PATCH] Add missing header
---
dune/gfe/parallel/globalp2mapper.hh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dune/gfe/parallel/globalp2mapper.hh b/dune/gfe/parallel/globalp2mapper.hh
index 1202b03a..f68be401 100644
--- a/dune/gfe/parallel/globalp2mapper.hh
+++ b/dune/gfe/parallel/globalp2mapper.hh
@@ -19,6 +19,8 @@
#include <dune/common/parallel/mpihelper.hh>
#endif
+#include <dune/fufem/functionspacebases/p2nodalbasis.hh>
+
namespace Dune {
template <class GridView>
--
GitLab