Converted type of trace messages from Vg_DebugMsg to Vg_UserMsg.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7509

diff --git a/exp-drd/drd_segment.c b/exp-drd/drd_segment.c
index 9983e601519ca90dc207ca694488c87d3d432518..575e8bd2f5e0f7bc9e08e80b286c31d31132bf5d 100644 (file)
--- a/exp-drd/drd_segment.c
+++ b/exp-drd/drd_segment.c
@@ -85,7 +85,7 @@ void sg_init(Segment* const sg,
                   creator);
     vc_snprint(msg + VG_(strlen)(msg), sizeof(msg) - VG_(strlen)(msg),
                &sg->vc);
-    VG_(message)(Vg_DebugMsg, "%s", msg);
+    VG_(message)(Vg_UserMsg, "%s", msg);
   }
 }
 
@@ -122,7 +122,7 @@ void sg_delete(Segment* const sg)
                     "Discarding the segment with vector clock ");
       vc_snprint(msg + VG_(strlen)(msg), sizeof(msg) - VG_(strlen)(msg),
                  &sg->vc);
-      VG_(message)(Vg_DebugMsg, "%s", msg);
+      VG_(message)(Vg_UserMsg, "%s", msg);
    }
 #endif