mirror of
https://github.com/Z3Prover/z3
synced 2026-06-08 12:59:34 +00:00
fixed java build issues. Relates to #648.
This commit is contained in:
@@ -188,7 +188,7 @@ class JavaExample
|
||||
/* do something with the context */
|
||||
|
||||
/* be kind to dispose manually and not wait for the GC. */
|
||||
ctx.dispose();
|
||||
ctx.close();
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user