Index: uspace/drv/char/i8042/i8042.c
===================================================================
--- uspace/drv/char/i8042/i8042.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ uspace/drv/char/i8042/i8042.c	(revision b127e4afcb39cae71e775fb2c65b181edcc0429f)
@@ -188,5 +188,5 @@
 		rc = ENOMEM;
 		goto error;
-	};
+	}
 
 	dev->kbd = ddf_fun_data_alloc(kbd_fun, sizeof(i8042_port_t));