Disable warning 58

janestreet · Sep 14, 2020 · 49d066f · 49d066f
2 parents 7cc0424 + da71893
commit 49d066f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/toplevel_backend/dune b/toplevel_backend/dune
@@ -1,3 +1,4 @@
 (library (name toplevel_backend) (public_name toplevel_backend)
+ (flags :standard -w -58)
  (libraries ppx_here.expander core_kernel compiler-libs.common findlib.top)
  (preprocess (pps ppx_jane)))