Re-enable warning 9 (Missing fields in a record pattern)

proux01 · Jun 25, 2024 · 959f1e0 · 959f1e0
1 parent fc67c2d
commit 959f1e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/dune b/plugin/dune
@@ -1,7 +1,7 @@
 (library
  (name quickchick_plugin)
  (public_name coq-quickchick.plugin)
- (flags :standard -rectypes -warn-error -3 -w -8-9-27+40)
+ (flags :standard -rectypes -warn-error -3 -w -8-27+40)
  (modules :standard \ genSTCorrect genSizedSTMonotonic genSizedSTSizeMonotonic)
  (libraries unix str
   (select void_for_linking-plugin-extraction from