diff --git a/lib-bin/libz3.so b/lib-bin/libz3.so
index 694ad9d01ee9b32055f9d5384b6c7ff9594eb030..6ed4747de6d3e9dd2f4571df4133361422751a14 100755
Binary files a/lib-bin/libz3.so and b/lib-bin/libz3.so differ