Index: /soft/giet_vm/giet_kernel/sys_handler.c
===================================================================
--- /soft/giet_vm/giet_kernel/sys_handler.c	(revision 785)
+++ /soft/giet_vm/giet_kernel/sys_handler.c	(revision 786)
@@ -611,5 +611,5 @@
     unsigned int word;
 
-    _user_printf("\n---  %s / cluster_id = %d / block_id = %d ---\n",
+    _user_printf("\n---  %s : cluster_id = %d / block_id = %d ---\n",
             string , cluster_id , block_id );