diff --git a/common/utils/T/tracer/logger/ttilog.c b/common/utils/T/tracer/logger/ttilog.c
index f031658ccbac42e68f15c021ea31aae933befcac..684caaaee52a30586e13d67c6dbd8247216aba50 100644
--- a/common/utils/T/tracer/logger/ttilog.c
+++ b/common/utils/T/tracer/logger/ttilog.c
@@ -29,7 +29,7 @@ static void _event(void *p, event e)
   frame = e.e[l->frame_arg].i;
   subframe = e.e[l->subframe_arg].i;
   switch (e.e[l->data_arg].type) {
-  case EVENT_INT: value = e.e[l->data_arg].i;
+  case EVENT_INT: value = e.e[l->data_arg].i; break;
   default: printf("%s:%d: unsupported type\n", __FILE__, __LINE__); abort();
   }