mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

typo

Browse source
This commit is contained in:
Nuno Lopes 2021-05-23 14:28:42 +01:00
parent f1e0d5dc8a
commit 8fd7226b6f
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/buffer.h
View file

@ -90,7 +90,6 @@ public:
m_buffer = source.m_buffer; m_buffer = source.m_buffer;
m_pos = source.m_pos; m_pos = source.m_pos;
m_capacity = source.m_capacity; m_capacity = source.m_capacity;
m_buffer = source.m_buffer;
source.m_buffer = reinterpret_cast<T*>(source.m_initial_buffer); source.m_buffer = reinterpret_cast<T*>(source.m_initial_buffer);
source.m_pos = 0; source.m_pos = 0;
source.m_capacity = INITIAL_SIZE; source.m_capacity = INITIAL_SIZE;