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