# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1014481708 0
# Node ID 6b55f979d4edbcfc9ccea555597b111e0a814d49
# Parent  5dc288e4ec82e964efe8604772499f10ed5bfaae
(enter_timestamp): Remove unused static variable to prevent warning.

diff -r 5dc288e4ec82 -r 6b55f979d4ed src/w32term.c
--- a/src/w32term.c	Sat Feb 23 10:55:47 2002 +0000
+++ b/src/w32term.c	Sat Feb 23 16:28:28 2002 +0000
@@ -8535,12 +8535,6 @@
 
 /* The main W32 event-reading loop - w32_read_socket.  */
 
-/* Time stamp of enter window event.  This is only used by w32_read_socket,
-   but we have to put it out here, since static variables within functions
-   sometimes don't work.  */
-
-static Time enter_timestamp;
-
 /* Record the last 100 characters stored
    to help debug the loss-of-chars-during-GC problem.  */