From 2bdd40a6966b18d4f62eaf1ce2d803b9b34c9d93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 11 Jul 2016 11:00:38 +0200
Subject: [PATCH] Unconditionally include <time.h> from Gnulib.

* libguile/stime.c: Unconditionally include <time.h>.
---
 libguile/stime.c | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/libguile/stime.c b/libguile/stime.c
index f430ca492..aa0784d4a 100644
--- a/libguile/stime.c
+++ b/libguile/stime.c
@@ -61,11 +61,7 @@
 #include "libguile/stime.h"
 
 #include <unistd.h>
-
-
-#ifdef HAVE_CLOCK_GETTIME
-# include <time.h>
-#endif
+#include <time.h>				  /* Gnulib-provided */
 
 #include <sys/types.h>
 #include <string.h>