diff --git a/lib/z3.jar b/lib/z3.jar
index bf59fab941c5668697e117f0915e5ca2ef4e61f8..56df8fc4590189cca80dd1fca9e0c3307d005df0 100644
Binary files a/lib/z3.jar and b/lib/z3.jar differ