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

Made Context.close idempotent (as recommended)

Browse source
This commit is contained in:
Thomas Haas 2024-02-17 11:35:38 +01:00
parent 727643c54e
commit a1528aaadd
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/java/Context.java
View file

@ -4329,6 +4329,9 @@ public class Context implements AutoCloseable {
@Override @Override
public void close() public void close()
{ {
if (m_ctx == 0)
return;
m_RefQueue.forceClear(); m_RefQueue.forceClear();
m_boolSort = null; m_boolSort = null;