diff --git a/unmanaged/32/z3.jar b/unmanaged/32/z3.jar
index a64ae47c4bcfce0773be6d4aedcdc6d656b8b7a0..07cb7bc85c4c550793c2a12a9c61ed0ec5d30b92 100644
Binary files a/unmanaged/32/z3.jar and b/unmanaged/32/z3.jar differ