fixed unqualified swap call

This commit is contained in:
joaquintides
2023-06-09 11:04:09 +02:00
parent 60a037ac33
commit a0b3e0965a

View File

@ -1310,7 +1310,8 @@ public:
table_core{std::move(x.h()),std::move(x.pred()),al_}
{
if(al()==x.al()){
std::swap(arrays,x.arrays);
using std::swap;
swap(arrays,x.arrays);
swap(size_ctrl,x.size_ctrl);
}
else{