From 82dea7553756f5920547bddd49a78f0ad6bea303 Mon Sep 17 00:00:00 2001
From: Mathieu Barbin <mathieu.barbin@gmail.com>
Date: Mon, 6 Nov 2023 12:35:10 +0100
Subject: [PATCH] update build flags

---
 src/dune  | 2 +-
 test/dune | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/dune b/src/dune
index b2498ca..da51f2a 100644
--- a/src/dune
+++ b/src/dune
@@ -1,7 +1,7 @@
 (library
  (name fingerboard)
  (public_name fingerboard)
- (flags -w +a-4-40-41-42-44-45-66 -warn-error +a -open Base)
+ (flags :standard -w +a-4-40-41-42-44-45-66 -warn-error +a -open Base)
  (libraries base textutils.ascii_table)
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/test/dune b/test/dune
index 0182af1..dc83b9b 100644
--- a/test/dune
+++ b/test/dune
@@ -1,6 +1,7 @@
 (library
  (name fingerboard_test)
  (flags
+  :standard
   -w
   +a-4-40-41-42-44-45-66
   -warn-error