diff --git a/dune/common/shared_ptr.hh b/dune/common/shared_ptr.hh index 5ca23029fd8675e87b2171e9620d6558277bfde2..34bd9a11fba7f0e414a41d5cf987a2f3a006f3de 100644 --- a/dune/common/shared_ptr.hh +++ b/dune/common/shared_ptr.hh @@ -16,6 +16,7 @@ # include <boost/shared_ptr.hpp> #endif +#include <dune/common/nullptr.hh> /** * @file * @brief This file implements the class shared_ptr (a reference counting @@ -146,7 +147,7 @@ namespace Dune template<class T> inline shared_ptr<T>::shared_ptr() { - rep_ = NULL; + rep_ = null_ptr; } template<class T>