diff --git a/src/msdos.h b/src/msdos.h
index 26f19ab8c75..2838dbddcae 100644
--- a/src/msdos.h
+++ b/src/msdos.h
@@ -45,7 +45,6 @@ void mouse_moveto (int, int);
 void mouse_check_moved ();
 int mouse_pressed (int, int *, int *);
 int mouse_released (int, int *, int *);
-void init_gettimeofday ();
 
 #ifndef HAVE_X_WINDOWS
 /* Dummy types.  */