Revert "[build] Don't use -rectypes on compilation."

This reverts commit 2562d98.
ejgallego · Oct 16, 2023 · a0f92d3 · a0f92d3
1 parent 4f04607
commit a0f92d3
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/dune b/dune
@@ -1 +1,7 @@
+(env
+ (dev
+  (flags :standard -rectypes))
+ (release
+  (flags :standard -rectypes)))
+
 (vendored_dirs vendor)