From da097679bd7a009985864f96684bde370e8776d9 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 28 May 2019 14:22:15 -0700
Subject: [PATCH] [sledge] Fix crash when trying to warn

Reviewed By: mbouaziz

Differential Revision: D15518828

fbshipit-source-id: 069ff4e9c
---
 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 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