X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=backend.c;h=935b9a0be2fef1ae8070e0a14fb4857812ac62d0;hb=11853992ab85732d1ed848a2d3891f4ab4355c8e;hp=ba7f5122294682593be3966f368bf5fd3c0924c2;hpb=addbeb5c3f834a2907bd0d4ead742574108bae58;p=xboard.git

diff --git a/backend.c b/backend.c
index ba7f512..935b9a0 100644
--- a/backend.c
+++ b/backend.c
@@ -147,12 +147,6 @@ extern int gettimeofday(struct timeval *, struct timezone *);
 #endif
 
 
-/* A point in time */
-typedef struct {
-    long sec;  /* Assuming this is >= 32 bits */
-    int ms;    /* Assuming this is >= 16 bits */
-} TimeMark;
-
 int establish P((void));
 void read_from_player P((InputSourceRef isr, VOIDSTAR closure,
 			 char *buf, int count, int error));
@@ -210,8 +204,6 @@ void CopyPlayerNameIntoFileName P((char **, char *));
 char *SavePart P((char *));
 int SaveGameOldStyle P((FILE *));
 int SaveGamePGN P((FILE *));
-void GetTimeMark P((TimeMark *));
-long SubtractTimeMarks P((TimeMark *, TimeMark *));
 int CheckFlags P((void));
 long NextTickLength P((long));
 void CheckTimeControl P((void));