From 4f46eb0fd727177ef8a97f1fa6c9d0a050d689dc Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 10 Jun 2020 07:03:56 -0700
Subject: [PATCH] [sledge] Refactor: Remove unused functor arg name

Reviewed By: jvillard

Differential Revision: D21923487

fbshipit-source-id: b504c060f
---
 sledge/src/domain_relation.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/domain_relation.mli b/sledge/src/domain_relation.mli
index b14109532..f12bc9bd9 100644
--- a/sledge/src/domain_relation.mli
+++ b/sledge/src/domain_relation.mli
@@ -19,4 +19,4 @@ module type State_domain_sig = sig
     -> summary * t
 end
 
-module Make (State_domain : State_domain_sig) : Domain_intf.Dom
+module Make (_ : State_domain_sig) : Domain_intf.Dom