From 8003265aff71997d2544a65d97123f5d902e1f76 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Fri, 28 Jun 2013 12:08:32 +0200
Subject: [PATCH] Missing header

---
 dune/tectonic/globalruinanonlinearity.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/tectonic/globalruinanonlinearity.hh b/dune/tectonic/globalruinanonlinearity.hh
index 310b6882..5a899ed2 100644
--- a/dune/tectonic/globalruinanonlinearity.hh
+++ b/dune/tectonic/globalruinanonlinearity.hh
@@ -3,6 +3,7 @@
 
 #include <vector>
 
+#include <dune/common/bitsetvector.hh>
 #include <dune/common/nullptr.hh>
 #include <dune/common/fmatrix.hh>
 #include <dune/common/fvector.hh>
-- 
GitLab