64-bit host fix.

git-svn-id: svn://svn.valgrind.org/vex/trunk@363

diff --git a/VEX/priv/main/vex_util.c b/VEX/priv/main/vex_util.c
index 69ea386af8ef7596a9d373ab28c8f06296798721..18571d1426dab09efc4f0a89b1e0370f160a462d 100644 (file)
--- a/VEX/priv/main/vex_util.c
+++ b/VEX/priv/main/vex_util.c
@@ -383,7 +383,7 @@ UInt vprintf_wrk ( void(*send)(Char), const Char *format, va_list vargs )
             send('0');
             send('x');
             ret += myvprintf_int64(send, flags, 16, width, 
-                                  (ULong)((UInt)va_arg (vargs, void *)));
+                                  (ULong)((HWord)va_arg (vargs, void *)));
             break;
          case 'x': /* %x */
             if (is_long)