From 8c873350c9c0826242d2cf4fc7fc4bafb1a4bc5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 31 Jan 2016 10:33:13 +0000
Subject: [PATCH] win32

---
 os/time.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/os/time.c b/os/time.c
index ef1227a7f..617d0fca9 100644
--- a/os/time.c
+++ b/os/time.c
@@ -159,8 +159,8 @@ static FILETIME StartOfTimes_sys, last_time_sys;
 static clock_t TimesStartOfTimes, Times_last_time;
 
 /* store user time in this variable */
-static void
-InitTime (int wid)
+void
+Yap_InitTime (int wid)
 {
   HANDLE hProcess = GetCurrentProcess();
   FILETIME CreationTime, ExitTime, KernelTime, UserTime;