Print IMarks a bit more visibly.

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

diff --git a/VEX/priv/ir/irdefs.c b/VEX/priv/ir/irdefs.c
index d7ffcdbc738b5c35b4faa38f57dcac9de3ae63ca..38f057937afc8499e2f8a15f99d87cff94ee46e2 100644 (file)
--- a/VEX/priv/ir/irdefs.c
+++ b/VEX/priv/ir/irdefs.c
@@ -578,8 +578,8 @@ void ppIRStmt ( IRStmt* s )
 {
    switch (s->tag) {
       case Ist_IMark:
-         vex_printf("IMark(0x%llx, %d)", s->Ist.IMark.addr, 
-                                         s->Ist.IMark.len);
+         vex_printf( "------ IMark(0x%llx, %d) ------", 
+                     s->Ist.IMark.addr, s->Ist.IMark.len);
          break;
       case Ist_Put:
          vex_printf( "PUT(%d) = ", s->Ist.Put.offset);