From 794ae6fb64e89175b40288369011f4fc51e0ac53 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 24 Nov 2014 16:31:33 +0100
Subject: Use gettimeofday() instead of obsolete ftime(). (Patch by Daniel
 Dickman.)

---
 test/spass/clock.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/spass/clock.h')

diff --git a/test/spass/clock.h b/test/spass/clock.h
index 6e675742..80f6c003 100644
--- a/test/spass/clock.h
+++ b/test/spass/clock.h
@@ -49,7 +49,7 @@
 
 #include "misc.h"
 #include <sys/types.h>
-#include <sys/timeb.h>
+#include <sys/time.h>
 
 typedef enum {
   clock_BACKTRACK,
@@ -61,7 +61,7 @@ typedef enum {
   clock_TYPESIZE
 } CLOCK_CLOCKS;
 
-typedef struct timeb CLOCK_TMS;
+typedef struct timeval CLOCK_TMS;
 
 void   clock_Init(void);
 void   clock_InitCounter(CLOCK_CLOCKS);
-- 
cgit