From 8e53d72c527502027eb16336b9602b8debf3f934 Mon Sep 17 00:00:00 2001
From: Elias Pipping <elias.pipping@fu-berlin.de>
Date: Sun, 5 Jan 2014 22:02:54 +0100
Subject: [PATCH] [Cleanup] Headers

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

diff --git a/dune/tectonic/globalruinanonlinearity.hh b/dune/tectonic/globalruinanonlinearity.hh
index ec0d5702..0b365b1a 100644
--- a/dune/tectonic/globalruinanonlinearity.hh
+++ b/dune/tectonic/globalruinanonlinearity.hh
@@ -4,7 +4,6 @@
 #include <vector>
 
 #include <dune/common/bitsetvector.hh>
-#include <dune/common/nullptr.hh>
 #include <dune/common/fmatrix.hh>
 #include <dune/common/fvector.hh>
 #include <dune/istl/bcrsmatrix.hh>
-- 
GitLab