diff options
Diffstat (limited to 'std')
| -rw-r--r-- | std/shared_ptr.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/std/shared_ptr.hpp b/std/shared_ptr.hpp index 6a7dcf7590..23b69a1921 100644 --- a/std/shared_ptr.hpp +++ b/std/shared_ptr.hpp @@ -8,6 +8,8 @@ #include <boost/shared_ptr.hpp> using boost::shared_ptr; +using boost::static_pointer_cast; + template <typename T> inline shared_ptr<T> make_shared_ptr(T * t) { |