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