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