[sledge] Fix ~predicate label

Reviewed By: jberdine Differential Revision: D15603866 fbshipit-source-id: cfa5f771b
daibou007 · Jun 3, 2019 · c8b063f · c8b063f
1 parent cdd444b
commit c8b063f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) ) ;