diff --git a/Formula/z3.rb b/Formula/z3.rb
index 12a8cb9f49..e336ef2350 100644
--- a/Formula/z3.rb
+++ b/Formula/z3.rb
@@ -3,7 +3,7 @@ class Z3 < Formula
   homepage "https://github.com/Z3Prover/z3"
   url "https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
   sha256 "5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601"
-  revision 1
+  revision 2
   head "https://github.com/Z3Prover/z3.git"
 
   bottle do