From c8b063fb508b172f8e220dea84d2f0207626f9ad Mon Sep 17 00:00:00 2001
From: Timotej Kapus <kapust@fb.com>
Date: Mon, 3 Jun 2019 09:27:31 -0700
Subject: [PATCH] [sledge] Fix ~predicate label

Reviewed By: jberdine

Differential Revision: D15603866

fbshipit-source-id: cfa5f771b
---
 sledge/src/llair/frontend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index 947fcd891..ad26fd6e2 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1324,7 +1324,7 @@ let transform ~gdce : Llvm.llmodule -> unit =
  fun llmodule ->
   let pm = Llvm.PassManager.create () in
   if gdce then (
-    Llvm_ipo.add_internalize_predicate pm ~predicate:(fun fn ->
+    Llvm_ipo.add_internalize_predicate pm (fun fn ->
         List.exists
           ["__llair_main"; "_Z12__llair_mainv"; "main"]
           ~f:(String.equal fn) ) ;