Remove -O3 flag

tmattio · May 25, 2020 · e4c3a4c · e4c3a4c
1 parent 4729efe
commit e4c3a4c
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/dune b/dune
@@ -1,7 +1,4 @@
 (env
  (dev
   (flags
-   (:standard -open StdLabels -w +A-48-42-44 -warn-error +A-3)))
- (release
-  (flags
-   (:standard -O3))))
+   (:standard -open StdLabels -w +A-48-42-44 -warn-error +A-3))))