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))