more sharedPtr

2017-06-19 14:15:06 +02:00
parent 278696b28e
commit 18283b44b2
1 changed files with 1 additions and 0 deletions
--- a/src/misc/pv/sharedPtr.h
+++ b/src/misc/pv/sharedPtr.h
@@ -67,6 +67,7 @@ namespace std {
        using std::dynamic_pointer_cast;
        using std::const_pointer_cast;
        using std::enable_shared_from_this;
+        using std::bad_weak_ptr;
    }
 }