From 513f634d563296b8970bc91525eb0552587b2dc5 Mon Sep 17 00:00:00 2001
From: BrewTestBot <brew-test-bot@googlegroups.com>
Date: Fri, 16 Mar 2018 21:05:56 +0000
Subject: [PATCH] z3: update 4.6.0_1 bottle.

---
 Formula/z3.rb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Formula/z3.rb b/Formula/z3.rb
index c19f3be093..e74248304c 100644
--- a/Formula/z3.rb
+++ b/Formula/z3.rb
@@ -8,9 +8,9 @@ class Z3 < Formula
 
   bottle do
     cellar :any
-    sha256 "b8e7d05e007f45e7ac1d1962279db7f32043306441a984715842957e242683db" => :high_sierra
-    sha256 "a0fcd87fa76072a7f8a6fb663c5d2589e8e1395e8c11acfb26150a7867aa6076" => :sierra
-    sha256 "bc1f47e9c9c1bff59983a17e00b00ab6724de6c182147cbecd6115fea377fda8" => :el_capitan
+    sha256 "c2493989f46145689553af054cf41a7c21995fcdb5f84ab5992e2f3cc73f6e65" => :high_sierra
+    sha256 "356863daa6b6701579e1840b5c069fe021a013e2cdef293e91e8984867c87804" => :sierra
+    sha256 "c351bed3d338b1eff6801956915d22b86f8b00fb056b1048c8c88983aa724748" => :el_capitan
   end
 
   option "without-python@2", "Build without python 2 support"