silenced unused capture warning

This commit is contained in:
joaquintides
2022-10-11 09:09:20 +02:00
parent e9a94cb62a
commit f2afbe9f85

View File

@ -1168,6 +1168,7 @@ public:
},
[&,this]{ /* else */
BOOST_ASSERT(al()==x.al());
(void)this; /* makes sure captured this is used */
});
swap(size_,x.size_);
swap(arrays,x.arrays);