Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/src/printf/printf_core.c	(revision 963037b03d0c4638e2e8a5213a3c29228dec8382)
@@ -674,5 +674,5 @@
 				default:
 					end = true;
-				};
+				}
 			} while (!end);