From 018fbf866a6c09b91dc5f7afdbf08d93e3d8e5d2 Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Fri, 5 Jan 2018 10:44:44 +0100
Subject: [PATCH] Include missing header
---
dune/gfe/embeddedglobalgfefunction.hh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dune/gfe/embeddedglobalgfefunction.hh b/dune/gfe/embeddedglobalgfefunction.hh
index cc79ec3e..3bad3c1d 100644
--- a/dune/gfe/embeddedglobalgfefunction.hh
+++ b/dune/gfe/embeddedglobalgfefunction.hh
@@ -6,6 +6,8 @@
#include <dune/common/fvector.hh>
#include <dune/common/fmatrix.hh>
+#include <dune/fufem/functions/virtualgridfunction.hh>
+
namespace Dune {
namespace GFE {
--
GitLab