From 02f13225a9a7729bf892c4711f8c2d9d04daf107 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Thu, 25 Jun 2015 18:26:25 +0200
Subject: [PATCH] Missing #include

---
 dune/contact/assemblers/dualmortarcouplinghierarchy.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/contact/assemblers/dualmortarcouplinghierarchy.hh b/dune/contact/assemblers/dualmortarcouplinghierarchy.hh
index 7de21b9a..38504975 100755
--- a/dune/contact/assemblers/dualmortarcouplinghierarchy.hh
+++ b/dune/contact/assemblers/dualmortarcouplinghierarchy.hh
@@ -13,6 +13,7 @@
 #include <dune/istl/bvector.hh>
 
 #include <dune/fufem/boundarypatch.hh>
+#include <dune/fufem/boundarypatchprolongator.hh>
 #include <dune/fufem/dgindexset.hh>
 
 #include <dune/grid-glue/merging/merger.hh>
-- 
GitLab