mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

Fix bug in my previous patch in bit_vector::operator=()

Browse source 
Signed-off-by: Nuno Lopes <nuno@linux.Home>
This commit is contained in:
Nuno Lopes 2015-05-11 04:44:11 +01:00
parent 6645358fed
commit 091ae37c06
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/bit_vector.h
View file

@ -186,10 +186,10 @@ public:
bool operator!=(bit_vector const & other) const { return !operator==(other); }
bit_vector & operator=(bit_vector const & source) {
m_num_bits = source.m_num_bits;
if (!source.m_data)
return *this;
m_num_bits = source.m_num_bits;
if (m_capacity < source.m_capacity) {
dealloc_svect(m_data);
m_data = alloc_svect(unsigned, source.m_capacity);