diff --git a/src/lib/pickles/dune b/src/lib/pickles/dune index 78b5dc2fe2e..3d162fd1e05 100644 --- a/src/lib/pickles/dune +++ b/src/lib/pickles/dune @@ -4,10 +4,7 @@ (name pickles) (public_name pickles) (modules_without_implementation full_signature type intf pickles_intf) - (flags - (:standard -w +a-40..42-44 -warn-error +a-27) - -open - Core_kernel) + (flags -open Core_kernel) (instrumentation (backend bisect_ppx)) (preprocess