From c4d8e70c2988cf5d9ccbfd2d0beb0e22cd4a64d3 Mon Sep 17 00:00:00 2001
From: Fabian <copy@copy.sh>
Date: Sat, 28 Aug 2021 14:36:57 -0500
Subject: [PATCH] remove duplicate :standard in dune

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

diff --git a/src/core/dune b/src/core/dune
index ec28aac7..61f04717 100644
--- a/src/core/dune
+++ b/src/core/dune
@@ -17,7 +17,7 @@
  (public_name containers)
  (wrapped false)
  (modules :standard \ mkshims)
- (flags :standard :standard -warn-error -a+8 -w -32-67 -safe-string -nolabels -open
+ (flags :standard -warn-error -a+8 -w -32-67 -safe-string -nolabels -open
    CCMonomorphic)
  (ocamlopt_flags (:include ../flambda.flags))
  (libraries seq containers.monomorphic))