From 3a95eb201de34e4f20660c2d1d9c4965e069c1e8 Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Tue, 3 Sep 2013 16:30:39 +0000
Subject: [PATCH] add missing header preconditioners.hh

[[Imported from SVN: r9443]]
---
 dune/gfe/averageinterface.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/gfe/averageinterface.hh b/dune/gfe/averageinterface.hh
index 481cdc42..78e04f2c 100644
--- a/dune/gfe/averageinterface.hh
+++ b/dune/gfe/averageinterface.hh
@@ -7,6 +7,7 @@
 #include <dune/common/fmatrix.hh>
 #include <dune/localfunctions/lagrange/pqkfactory.hh>
 #include <dune/istl/solvers.hh>
+#include <dune/istl/preconditioners.hh>
 
 #include <dune/fufem/dgindexset.hh>
 #include <dune/fufem/crossproduct.hh>
-- 
GitLab