Index: /soft/giet_vm/giet_common/utils.c
===================================================================
--- /soft/giet_vm/giet_common/utils.c	(revision 331)
+++ /soft/giet_vm/giet_common/utils.c	(revision 332)
@@ -625,5 +625,5 @@
     va_list ap;
     va_start(ap, format);
-    unsigned int save_sr;     // used to save the SR value in critical section
+    unsigned int save_sr;     // to save SR value in critical section
 
     // get TTY0 lock