diff --git a/lib/z3.jar b/lib/z3.jar
index 8c6d5d9174d449abe05cae1f8fb60768d9fea799..42acff928ee023fca3513f4223e86303083668f5 100644
Binary files a/lib/z3.jar and b/lib/z3.jar differ