diff --git a/src/api_piqi_util.mli b/src/api_piqi_util.mli index a0aad80..4014274 100644 --- a/src/api_piqi_util.mli +++ b/src/api_piqi_util.mli @@ -56,7 +56,7 @@ module Filter : functor } end end) - (Mext : sig + (_ : sig val parse_filters : ?opts:Piqirun_ext.options -> string -> diff --git a/src/dune b/src/dune index fe7f5d4..8fd58da 100644 --- a/src/dune +++ b/src/dune @@ -1,4 +1,4 @@ -(env ( _ (flags (:standard -w +a-4-9-35-40-42-44-48)) ) ) +(env ( _ (flags (:standard -w +a-4-9-35-40-42-44-48-58-70)) ) ) (alias (name plugin)