sys/time.h is always defined nowadays

[simgrid.git] / src / include / mc / datatypes.h

diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h
index 28e76d6..bb32dba 100644 (file)
--- a/src/include/mc/datatypes.h
+++ b/src/include/mc/datatypes.h
@@ -7,7 +7,7 @@
 #ifndef MC_DATATYPE_H
 #define MC_DATATYPE_H
 
-#include <simgrid_config.h>
+#include <src/internal_config.h>
 #include <xbt/base.h>
 
 #ifdef HAVE_UCONTEXT_H