mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-05 18:05:15 +00:00
Code Activity

remove redundant assert

Browse source
This commit is contained in:
Nuno Lopes 2026-02-08 11:26:44 +00:00
parent bc388672c1
commit 3a4f1fd65a
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/util/buffer.h
View file

@ -178,14 +178,12 @@ public:
} }
const T & back() const { const T & back() const {
SASSERT(!empty()); SASSERT(!empty());
SASSERT(m_pos > 0);
return m_buffer[m_pos - 1]; return m_buffer[m_pos - 1];
} }
T & back() { T & back() {
SASSERT(!empty()); SASSERT(!empty());
SASSERT(m_pos > 0);
return m_buffer[m_pos - 1]; return m_buffer[m_pos - 1];
} }