From 64e00566db6979144b3d151111e1128d4db15750 Mon Sep 17 00:00:00 2001
From: Marius Vollmer <mvo@zagadka.de>
Date: Mon, 21 Oct 2002 12:03:54 +0000
Subject: [PATCH] Include <time.h>.  Also, use <...> for inclusion of system
 headers.

---
 libguile/null-threads.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/libguile/null-threads.c b/libguile/null-threads.c
index ac1a135e1..41842a1b8 100644
--- a/libguile/null-threads.c
+++ b/libguile/null-threads.c
@@ -46,8 +46,9 @@
 #include "libguile/root.h"
 #include "libguile/stackchk.h"
 #include "libguile/async.h"
-#include "sys/time.h"
-#include "sys/types.h"
+#include <sys/time.h>
+#include <sys/types.h>
+#include <time.h>
 
 void *scm_null_threads_data;