show a # before event counter

diff --git a/hostside/realtime.c b/hostside/realtime.c
index 54c2ea9a7b795044245c19a6cedf494a37014a48..0ec047991e77570858bb9f52fb8c8c3bde707990 100644 (file)
--- a/hostside/realtime.c
+++ b/hostside/realtime.c
@@ -329,7 +329,7 @@ void serial_transmit(const PicInsn *pi) {
 unsigned long eventcounter;
 
 void debug_count_event(const char *what) {
-  DPRINTF(misc,event, "0x%lx %s\n",eventcounter,what);
+  DPRINTF(misc,event, "#0x%lx %s\n",eventcounter,what);
   eventcounter++;
 }