mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 14:43:23 +00:00
Code Activity

DoC: fix bug I previously introduced in insert

Browse source 
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
This commit is contained in:
Nuno Lopes 2014-10-02 11:54:53 +01:00
parent 9828b26379
commit 7d599fa047
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/muz/rel/doc.h
View file

@ -174,7 +174,6 @@ public:
for ( ; i < sz; ++i, ++j) { for ( ; i < sz; ++i, ++j) {
if (m.contains(*m_elems[i], *t)) { if (m.contains(*m_elems[i], *t)) {
found = true; found = true;
break;
} }
if (m.contains(*t, *m_elems[i])) { if (m.contains(*t, *m_elems[i])) {
m.deallocate(m_elems[i]); m.deallocate(m_elems[i]);