From 8ba7a8b2c5ce80859e9645c89ebe39c33948525c Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 21 Jun 2024 00:04:44 +0200
Subject: [PATCH] silence warning 67 in Dune build

---
 src/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dune b/src/dune
index 6965149..b49f2c0 100644
--- a/src/dune
+++ b/src/dune
@@ -1,7 +1,7 @@
 (library
  (name aac_plugin)
  (public_name coq-aac-tactics.plugin)
- (flags :standard -w -3-27-32)
+ (flags :standard -w -3-27-32-67)
  (libraries coq-core.plugins.ltac))
 
 (coq.pp (modules aac))