X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b3b356352e87ae00a20f737c48e19b0c8413455a..ce6136d5f1a9ce68cfa6c968c257bd6c00c531d7:/src/xbt/xbt_os_time.c

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index 1027ecf340..e6171866b0 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -9,7 +9,7 @@
 #include "xbt/sysdep.h"
 #include "xbt/xbt_os_time.h"    /* this module */
 #include "xbt/log.h"
-#include "portable.h"
+#include "src/portable.h"
 #include <math.h>               /* floor */
 
 #ifdef _XBT_WIN32
@@ -371,7 +371,6 @@ void xbt_os_threadtimer_start(xbt_os_timer_t timer)
   timer->elapse.tv_usec = 0;
   gettimeofday(&(timer->start), NULL);
 #elif defined(_XBT_WIN32)
-  struct timeval tv;
 #  if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
   THROW_UNIMPLEMENTED;
 #  else