diff --git a/dune/common/shared_ptr.hh b/dune/common/shared_ptr.hh index 1f7a15e6cc05a40783d0d62c2152cf52700ad4dd..0bdf02d90496709a7b48bf828f94e4db39f4593a 100644 --- a/dune/common/shared_ptr.hh +++ b/dune/common/shared_ptr.hh @@ -191,7 +191,7 @@ namespace Dune {} /** @brief Copy constructor with type conversion. */ SharedCountImpl(const SharedCountImpl& rep) - : SharedCount(rep), deleter_(rep.deleter_) {} + : SharedCount(rep), deleter_(rep.deleter_), rep_(rep.rep_) {} /** @brief Destructor, deletes element_type* rep_ using deleter. */ ~SharedCountImpl() { deleter_(rep_); }