From 04f733630148a3e12815f87b974163ebf156c9d3 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Thu, 9 Jul 2020 07:44:55 -0700
Subject: [PATCH] [sledge] Build: Disable warning 30

Summary:
It is not needed or very meaningful since the addition of type-based
disambiguation.

Reviewed By: jvillard

Differential Revision: D22401035

fbshipit-source-id: 31996f946
---
 sledge/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/dune b/sledge/dune
index 6302f4bba..9ab830dc8 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -6,7 +6,7 @@
 (env
  (debug
   (flags
-   (-w +a-4-9-18-40-42-44-48@50-66 -strict-formats -strict-sequence
+   (-w +a-4-9-18-30-40-42-44-48@50-66 -strict-formats -strict-sequence
      -error-style short -short-paths -bin-annot -keep-locs -keep-docs -opaque))
   (env-vars
    (PPX_TRACE_ENABLED 1))