From d5dd7575e0da069c846eec14ad645b039fa83e26 Mon Sep 17 00:00:00 2001
From: Michael Cho <20700669+cho-m@users.noreply.github.com>
Date: Sat, 14 Sep 2024 19:43:49 +0000
Subject: [PATCH] boolector: update 3.2.4 bottle.

---
 Formula/b/boolector.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Formula/b/boolector.rb b/Formula/b/boolector.rb
index 45e14bdaf7a5..21db831058a5 100644
--- a/Formula/b/boolector.rb
+++ b/Formula/b/boolector.rb
@@ -6,6 +6,7 @@ class Boolector < Formula
   license "MIT"
 
   bottle do
+    sha256 cellar: :any_skip_relocation, arm64_sequoia:  "c36e9fe92bb625ab45e83a8b889a4f29264b4a6dca0b5da3e72c133724b6ddd2"
     sha256 cellar: :any_skip_relocation, arm64_sonoma:   "eb34a8aa518c75108be45137f5f72401f2a429d5c2aa5485e4addf5f9b7e2397"
     sha256 cellar: :any_skip_relocation, arm64_ventura:  "a1cc2c76b073b53af089a7f14191ffaf3d2f5cc72946ad10456e56b4c05c24cb"
     sha256 cellar: :any_skip_relocation, arm64_monterey: "59043051dc8c304152d395edc3d3460af08a95922fbc0bb7014a0041be9813aa"