mirror of
https://github.com/Z3Prover/z3
synced 2025-08-11 13:40:52 +00:00
remove stdout
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c16d90307b
commit
eac5070a2e
1 changed files with 0 additions and 1 deletions
|
@ -64,7 +64,6 @@ public:
|
||||||
}
|
}
|
||||||
for (unsigned j : m_resize_buffer)
|
for (unsigned j : m_resize_buffer)
|
||||||
erase(j);
|
erase(j);
|
||||||
std::cout << m_resize_buffer.size() << "\n";
|
|
||||||
m_resize_buffer.clear();
|
m_resize_buffer.clear();
|
||||||
}
|
}
|
||||||
m_data.resize(size, -1);
|
m_data.resize(size, -1);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue