diff --git a/include/console.h b/include/console.h
index 06ec32accc311b4aac6a25ebee4964ad4fa2dd1c..bc8b1395071f9e65aed90602417d912fade44b3a 100644
--- a/include/console.h
+++ b/include/console.h
@@ -33,6 +33,4 @@
 extern device_t	*stdio_devices[] ;
 extern char *stdio_names[MAX_FILES] ;
 
-int console_realloc(int top);
-
 #endif