From 1e6681428c14eb81e5300d57f80b48cb8f6cfc26 Mon Sep 17 00:00:00 2001
From: Carlo Cabrera <30379873+carlocab@users.noreply.github.com>
Date: Wed, 24 Nov 2021 21:51:11 +0800
Subject: [PATCH] flat_namespace_allowlist: add `coq`

The `-flat_namespace` flag comes from OCaml, and should go away when the
OCaml bottles are rebuilt.

Closes #89870.

Signed-off-by: Carlo Cabrera <30379873+carlocab@users.noreply.github.com>
Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
---
 audit_exceptions/flat_namespace_allowlist.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/audit_exceptions/flat_namespace_allowlist.json b/audit_exceptions/flat_namespace_allowlist.json
index 4a6b7fca65e..95071fd7696 100644
--- a/audit_exceptions/flat_namespace_allowlist.json
+++ b/audit_exceptions/flat_namespace_allowlist.json
@@ -3,6 +3,7 @@
   "arpack",
   "bind",
   "blast",
+  "coq",
   "libvirt",
   "mpich",
   "omniorb",