minor change

adamrk · adamrk · commit c62c7a9244a2 · 2019-01-27T23:25:24.000-05:00
diff --git a/lib/dune b/lib/dune
@@ -21,4 +21,4 @@
 
 (env
  (dev
-  (flags (:standard -warn-error -9 -warn-error -3))))
+  (flags (:standard -warn-error -3-9))))
