Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 2057572a989f56acc5c906946caebf6b2e039bda)
+++ kernel/generic/src/console/cmd.c	(revision eaf6cd60a4b964e9d1c8fbefc0d30d37d565a53d)
@@ -714,5 +714,5 @@
 int cmd_set4(cmd_arg_t *argv)
 {
-	uint32_t *addr ;
+	uint32_t *addr;
 	uint32_t arg1 = argv[1].intval;
 	bool pointer = false;