*fix* missing include

[chaz/tint2] / src / util / timer.c

diff --git a/src/util/timer.c b/src/util/timer.c
index 797ece02c73e3015300dc1e702b020b705a3fe24..8de7eec891795811da885208e3a9721ab2054c91 100644 (file)
--- a/src/util/timer.c
+++ b/src/util/timer.c
@@ -16,6 +16,7 @@
 **************************************************************************/
 
 #include <time.h>
+#include <sys/time.h>
 #include <stdlib.h>
 #include <stdio.h>