From 79e1c87a014a3e614ab86620428c01fb8f608cfe Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Mon, 30 Sep 2013 15:50:26 +0200
Subject: [PATCH] swapping correct vectors

---
 DataStructures/SharedMemoryVectorWrapper.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DataStructures/SharedMemoryVectorWrapper.h b/DataStructures/SharedMemoryVectorWrapper.h
index 89d549c05..2b1c283ec 100644
--- a/DataStructures/SharedMemoryVectorWrapper.h
+++ b/DataStructures/SharedMemoryVectorWrapper.h
@@ -77,6 +77,7 @@ public:
     { }
 
     void swap( SharedMemoryWrapper<DataT> & other ) {
+        BOOST_ASSERT_MSG(m_size != 0 || other.size() != 0, "size invalid");
         std::swap( m_size, other.m_size);
         std::swap( m_ptr , other.m_ptr );
     }