From 30ea6e2fdf047d389697518f0a9c5adc05276063 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 18 Dec 2015 00:52:35 +0100
Subject: [PATCH] Load system headers before intercepting gettimeofday to not
 mess up

---
 include/smpi/mpi.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/smpi/mpi.h b/include/smpi/mpi.h
index 482fa7eba8..5bfe31a43e 100644
--- a/include/smpi/mpi.h
+++ b/include/smpi/mpi.h
@@ -17,6 +17,7 @@
 #include <xbt/asserts.h>
 #include <simgrid/modelchecker.h>
 
+#include <sys/time.h> /* Load it before the define next line to not mess with the system headers */
 #define gettimeofday(x, y) smpi_gettimeofday(x, NULL)
 
 #ifdef HAVE_MC
-- 
2.20.1