diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index a351c0d10..d94de37ce 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -989,7 +989,7 @@ let xlate_instr :
                       warn
                         "ignoring variable arguments to variadic function: \
                          %a"
-                        Global.pp (xlate_global x llfunc) ()
+                        Exp.pp func ()
                   | _ -> () ) ;
                   Array.length (Llvm.param_types (Llvm.element_type lltyp))
               in