Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 5d67baaf93a59a7584952e5f044264cc6662ca3b)
+++ kernel/generic/src/console/kconsole.c	(revision d987fd7b2c19e5d3b03a6f6ffdd7564c01fc2469)
@@ -241,5 +241,4 @@
 }
 
-//char *clever_readline(const char *prompt, chardev_t *input);
 static char *clever_readline(const char *prompt, chardev_t *input)
 {