From c22c6c4a93a4197046108ecb49a2546454e65aef Mon Sep 17 00:00:00 2001
From: miccal <miccal.matthews@gmail.com>
Date: Wed, 9 Sep 2020 05:27:18 +0800
Subject: [PATCH] Remove cbmc from GITHUB_PRERELEASE_ALLOWLIST

---
 Library/Homebrew/utils/shared_audits.rb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Library/Homebrew/utils/shared_audits.rb b/Library/Homebrew/utils/shared_audits.rb
index 6e4489b2c7..0feffa668f 100644
--- a/Library/Homebrew/utils/shared_audits.rb
+++ b/Library/Homebrew/utils/shared_audits.rb
@@ -29,7 +29,6 @@ module SharedAudits
 
   GITHUB_PRERELEASE_ALLOWLIST = {
     "amd-power-gadget" => :all,
-    "cbmc"             => "5.12.6",
     "elm-format"       => "0.8.3",
     "gitless"          => "0.8.8",
     "infrakit"         => "0.5",