From 19db72031cfc2113964e644ad64d9a4b05cb5d52 Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Fri, 13 Apr 2018 12:39:11 -0700
Subject: [PATCH] shared_vector add missing void swap

swap() of void and const void misses vtype
---
 src/misc/pv/sharedVector.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/misc/pv/sharedVector.h b/src/misc/pv/sharedVector.h
index 7e77f4a..aa9f650 100644
--- a/src/misc/pv/sharedVector.h
+++ b/src/misc/pv/sharedVector.h
@@ -728,6 +728,11 @@ public:
     }
 #endif
 
+    void swap(shared_vector& o) {
+        base_t::swap(o);
+        std::swap(m_vtype, o.m_vtype);
+    }
+
     size_t max_size() const{return (size_t)-1;}
 
     pointer data() const{