remove duplicate :standard in dune

This commit is contained in:
Fabian 2021-08-28 14:36:57 -05:00 committed by Simon Cruanes
parent f5409d480a
commit fd783336b8

View file

@ -17,7 +17,7 @@
(public_name containers) (public_name containers)
(wrapped false) (wrapped false)
(modules :standard \ mkshims) (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) CCMonomorphic)
(ocamlopt_flags (:include ../flambda.flags)) (ocamlopt_flags (:include ../flambda.flags))
(libraries seq containers.monomorphic)) (libraries seq containers.monomorphic))