diff --git a/benchmark/dune b/benchmark/dune index 4c2b2bc416344a752514f729c21b880eb72f34be..4559db477f26ae6bb300fe915095d79a29e60821 100644 --- a/benchmark/dune +++ b/benchmark/dune @@ -2,7 +2,7 @@ (_ (flags :standard - -w A-4-44 + -w A-4-44-67-70 ) (ocamlopt_flags -O3 diff --git a/benchmark/src/construction/dune b/benchmark/src/construction/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/construction/dune +++ b/benchmark/src/construction/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/dune b/benchmark/src/dune index 73b8305f622819c07ee4bcbdc944c26331cfc2bd..653f008eb58c54e7679056f0895f3310a1173600 100644 --- a/benchmark/src/dune +++ b/benchmark/src/dune @@ -2,6 +2,5 @@ ; though there isn't) so that dune generates a .merlin file. (library (name benchmark) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/fill/dune b/benchmark/src/fill/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/fill/dune +++ b/benchmark/src/fill/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/flatten/dune b/benchmark/src/flatten/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/flatten/dune +++ b/benchmark/src/flatten/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/iteration/dune b/benchmark/src/iteration/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/iteration/dune +++ b/benchmark/src/iteration/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/reach/dune b/benchmark/src/reach/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/reach/dune +++ b/benchmark/src/reach/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/split/dune b/benchmark/src/split/dune index a8f88e39eb35a477f7f69987d2b496cdd770cfa0..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/split/dune +++ b/benchmark/src/split/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/stack/dune b/benchmark/src/stack/dune index 0ea0fe3cfaf14501e668d8563b67a03d5d16803c..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/stack/dune +++ b/benchmark/src/stack/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44-67)) (libraries str unix core core.time_stamp_counter sek) ) diff --git a/benchmark/src/traversal/dune b/benchmark/src/traversal/dune index 7da1361b0fe07208f3884c835725622a03b79414..d4c9ba599c43c743a8dfbb7b33814384c189de60 100644 --- a/benchmark/src/traversal/dune +++ b/benchmark/src/traversal/dune @@ -5,6 +5,5 @@ (executable (name Main) - (flags (:standard -w A-4-44 -g)) (libraries str unix core core.time_stamp_counter sek) )