From 18283b44b2a87e3f3bd59db6b7e16cdce1e181ba Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Mon, 19 Jun 2017 14:15:06 +0200
Subject: [PATCH] more sharedPtr

---
 src/misc/pv/sharedPtr.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/misc/pv/sharedPtr.h b/src/misc/pv/sharedPtr.h
index c9b337d..2ecae52 100644
--- 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;
     }
 }