mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

obj_map: fix move constructor

Browse source
This commit is contained in:
Nuno Lopes 2020-10-22 12:13:58 +01:00
parent 72d407a49f
commit 0c354c7aab
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/hashtable.h
View file

@ -277,9 +277,9 @@ public:
m_capacity = source.m_capacity; m_capacity = source.m_capacity;
std::swap(m_table, source.m_table); std::swap(m_table, source.m_table);
m_size = source.m_size; m_size = source.m_size;
m_num_deleted = 0; m_num_deleted = source.m_num_deleted;
HS_CODE({ HS_CODE({
m_st_collision = 0; m_st_collision = source.m_st_collision;
}); });
} }