diff --git a/src/windows.c b/src/windows.c
index 66b52b58b..af3d978cf 100644
--- a/src/windows.c
+++ b/src/windows.c
@@ -1169,15 +1169,6 @@ dump_close_log()
     }
 }
 
-void
-dump_putc(ch)
-int ch;
-{
-    /* Not very efficient, but we mostly don't care. */
-    if (dumplog_file)
-        putc(ch, dumplog_file);
-}
-
 void
 dump_forward_putstr(win, attr, str, no_forward)
 winid win;