Enable warning 37 again

jmid · jmid · commit 595de55d063b · 2025-04-30T18:25:38.000+02:00
diff --git a/src/array/dune b/src/array/dune
@@ -4,7 +4,6 @@
  (name stm_tests)
  (modules stm_tests)
  (package multicoretests)
- (flags (:standard -w -37))
  (libraries qcheck-stm.sequential qcheck-stm.domain)
  (action (run %{test} --verbose))
 )

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,6 @@`
`4`	`4`	`(name stm_tests)`
`5`	`5`	`(modules stm_tests)`
`6`	`6`	`(package multicoretests)`
`7`		`- (flags (:standard -w -37))`
`8`	`7`	`(libraries qcheck-stm.sequential qcheck-stm.domain)`
`9`	`8`	`(action (run %{test} --verbose))`
`10`	`9`	`)`