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