diff --git a/lib/z3.jar b/lib/z3.jar
index 79435432b93a053a53ff811adc5b2b54b9cd9c74..9323abe05f97b6ec2c26dc62ada6afc8859b26e6 100644
Binary files a/lib/z3.jar and b/lib/z3.jar differ