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