From 0b1fdef225f1e06a50006ee2cb1094961295a3fb Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Sun, 5 May 2019 01:43:49 +0200
Subject: [PATCH] include missing header

---
 dune/istl/operators.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune/istl/operators.hh b/dune/istl/operators.hh
index b4ca5dba0..d978c977b 100644
--- a/dune/istl/operators.hh
+++ b/dune/istl/operators.hh
@@ -10,6 +10,7 @@
 #include <string>
 
 #include <dune/common/exceptions.hh>
+#include <dune/common/shared_ptr.hh>
 
 #include "solvercategory.hh"
 
-- 
GitLab