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 948222e45b757067cc0c8605fb69b04c5ba6f5a8)
@@ -674,5 +674,5 @@
 				default:
 					end = true;
-				};
+				}
 			} while (!end);