Small change to printing of guest-state-array descriptors (IRArrays).

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

diff --git a/VEX/priv/ir/irdefs.c b/VEX/priv/ir/irdefs.c
index b82b5ac71398d60b29057c0bbbf3a9e01ad9efdc..c11abc00826abd506f91b27026900d385bcf5b50 100644 (file)
--- a/VEX/priv/ir/irdefs.c
+++ b/VEX/priv/ir/irdefs.c
@@ -49,9 +49,9 @@ void ppIRConst ( IRConst* con )
 
 void ppIRArray ( IRArray* arr )
 {
-   vex_printf("(%d:", arr->base);
+   vex_printf("(%d:%dx", arr->base, arr->nElems);
    ppIRType(arr->elemTy);
-   vex_printf(",%d)", arr->nElems);
+   vex_printf(")");
 }
 
 void ppIRTemp ( IRTemp tmp )