diff --git a/lib/z3.jar b/lib/z3.jar
index 681895c92887696712b2e358f2dd4f8b700d923e..c9534e6d12ab40fd170b1b06ebafced18cf16689 100644
Binary files a/lib/z3.jar and b/lib/z3.jar differ