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