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