From 74a59effecaa6e7895ad121e3ef0bdf5546e3311 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <Ansgar.Burchardt@tu-dresden.de>
Date: Tue, 26 Jun 2018 18:55:16 +0200
Subject: [PATCH] wrap_own_share: add overload for `nullptr_t` to reset shared
 pointer

---
 dune/solvers/common/wrapownshare.hh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/dune/solvers/common/wrapownshare.hh b/dune/solvers/common/wrapownshare.hh
index 38b44049..8d113fe4 100644
--- a/dune/solvers/common/wrapownshare.hh
+++ b/dune/solvers/common/wrapownshare.hh
@@ -34,6 +34,12 @@ namespace Dune {
         return std::make_shared<S>(std::move(t));
       }
 
+      template<class T>
+      std::shared_ptr<T> wrap_own_share(std::nullptr_t)
+      {
+        return {};
+      }
+
       //! Share ownership of shared_ptr
       template<class T, class S>
       std::shared_ptr<T> wrap_own_share(std::shared_ptr<S> t)
-- 
GitLab