diff --git a/Formula/z3.rb b/Formula/z3.rb
index ad9e51b0e3..5342f06d12 100644
--- a/Formula/z3.rb
+++ b/Formula/z3.rb
@@ -7,6 +7,7 @@ class Z3 < Formula
 
   bottle do
     cellar :any
+    sha256 "77e5760f19f5acdf3b73adebdf1e93ad00d5bc43d695a0565728ca8e6aa02b70" => :catalina
     sha256 "0c71a481c7232c4c93e4a28e85271959a7ec2fe4ff88f4245936bdf5dff5c389" => :mojave
     sha256 "5999876e4ae35a590879c8f7caeace02aacc4fe77eb58819443dd2fb05aff495" => :high_sierra
     sha256 "e08003ed5ac98409f7d9c0f6fbe2bd483d202079db5233ddbca53e3182a6108a" => :sierra