diff --git a/Process.c b/Process.c
index 900bb921..0396151c 100644
--- a/Process.c
+++ b/Process.c
@@ -228,13 +228,6 @@ static void Process_printTime(RichString* str, unsigned long t) {
    RichString_append(str, CRT_colors[DEFAULT_COLOR], buffer);
 }
 
-/* private */
-static void Process_printTTY(RichString* str, int tty_nr) {
-   unsigned char minor = tty_nr;
-   unsigned char major = tty_nr >> 8;
-   char* buffer[11]; 
-}
-
 /* private */
 inline static void Process_writeCommand(Process* this, int attr, RichString* str) {
    if (this->pl->highlightBaseName) {