From 2760cae3504578eb21861003b8d393e25651916a Mon Sep 17 00:00:00 2001
From: BrewTestBot <homebrew-test-bot@lists.sfconservancy.org>
Date: Mon, 25 Nov 2019 19:40:43 +0000
Subject: [PATCH] z3: update 4.8.7 bottle.

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

diff --git a/Formula/z3.rb b/Formula/z3.rb
index f210a4bfea..f34e854986 100644
--- a/Formula/z3.rb
+++ b/Formula/z3.rb
@@ -7,10 +7,9 @@ class Z3 < Formula
 
   bottle do
     cellar :any
-    sha256 "77e5760f19f5acdf3b73adebdf1e93ad00d5bc43d695a0565728ca8e6aa02b70" => :catalina
-    sha256 "0c71a481c7232c4c93e4a28e85271959a7ec2fe4ff88f4245936bdf5dff5c389" => :mojave
-    sha256 "5999876e4ae35a590879c8f7caeace02aacc4fe77eb58819443dd2fb05aff495" => :high_sierra
-    sha256 "e08003ed5ac98409f7d9c0f6fbe2bd483d202079db5233ddbca53e3182a6108a" => :sierra
+    sha256 "a3ce513ca71645a6c71d3f5b0e60ccb27171a8b9a019287e170efe817fb4a76b" => :catalina
+    sha256 "3f0eb432537467e69e9e4990ab6511b795c68557ab276d9e11325ece14c68718" => :mojave
+    sha256 "4cfd76bc84c1b51b2d1450560eb67f1b467c1ebba516c84e617cc099ff579ee7" => :high_sierra
   end
 
   depends_on "python"