[sledge] Print only function name when warning of ignored variadic arguments

Reviewed By: jvillard

Differential Revision: D26570999

fbshipit-source-id: 9884e33d3

sledge/cli/frontend.ml

@@ -988,8 +988,7 @@ let num_actuals instr lltyp llfunc =
     let fname = Llvm.value_name llfunc in
     if StringS.add ignored_callees fname && not (Llvm.is_declaration llfunc)
     then
-      warn "ignoring variable arguments to variadic function: %a" pp_llvalue
+      warn "ignoring variable arguments to variadic function: %s" fname () ;
-        llfunc () ;
     let llelt = Llvm.element_type lltyp in
     ( match Llvm.classify_type llelt with
     | Function -> ()