mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Bugfix for incorrect order of operations.

Browse source
This commit is contained in:
George Karpenkov 2016-06-12 20:39:54 +02:00
parent 495ef0f055
commit 5657399d55
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/Z3Object.java
View file

@ -29,8 +29,8 @@ public abstract class Z3Object {
Z3Object(Context ctx, long obj) { Z3Object(Context ctx, long obj) {
m_ctx = ctx; m_ctx = ctx;
checkNativeObject(obj); checkNativeObject(obj);
incRef(obj);
m_n_obj = obj; m_n_obj = obj;
incRef(obj);
} }
/** /**