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