Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1' into test

[simgrid.git] / src / simix / smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index fbfc647b7d70cb9cdad43a89a78f95a59761ba07..c1e51170f7383672b96d9efb60efcc4c9a783e41 100644 (file)
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -1,5 +1,6 @@
 #include "private.h"
 #include "mc/mc.h"
+#include <math.h> /* isfinite() */
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix);