Use -DBL_MAX for MIN_KEY_VALUE.

[simgrid.git] / src / xbt / xbt_sg_synchro.c

diff --git a/src/xbt/xbt_sg_synchro.c b/src/xbt/xbt_sg_synchro.c
index 34dba4a..d485ba3 100644 (file)
--- a/src/xbt/xbt_sg_synchro.c
+++ b/src/xbt/xbt_sg_synchro.c
@@ -13,8 +13,7 @@
 
 #include "xbt/synchro.h"        /* This module */
 
-#include "simix/simix.h"        /* used implementation */
-#include "simix/datatypes.h"
+#include "simgrid/simix.h"        /* used implementation */
 #include "../simix/smx_private.h" /* FIXME */
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync, xbt,
@@ -66,7 +65,7 @@ xbt_thread_t xbt_thread_create(const char *name, void_f_pvoid_t code,
   /*   char*name = bprintf("%s#%p",SIMIX_process_self_get_name(), param); */
   simcall_process_create(&res->s_process, name,
                            xbt_thread_create_wrapper, res,
-                           SIMIX_host_self_get_name(), 0, NULL,
+                           SIMIX_host_self_get_name(), -1.0, 0, NULL,
                            /*props */ NULL);
   res->joinable = joinable;
   res->done = 0;