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