Use -DBL_MAX for MIN_KEY_VALUE.

diff --git a/src/xbt/heap_private.h b/src/xbt/heap_private.h
index cd2b6a8..40a17af 100644 (file)
--- a/src/xbt/heap_private.h
+++ b/src/xbt/heap_private.h
@@ -9,6 +9,7 @@
 
 #include "xbt/dynar.h"          /* void_f_pvoid_t */
 #include "xbt/heap.h"
+#include <float.h>
 
 typedef struct xbt_heap_item {
   void *content;
@@ -30,6 +31,6 @@ typedef struct xbt_heap {
 #define KEY(H,i)     ((H->items)[i]).key
 #define CONTENT(H,i) ((H->items)[i]).content
 
-#define MIN_KEY_VALUE -10000
+#define MIN_KEY_VALUE -DBL_MAX
 
 #endif                          /* _XBT_HEAP_PRIVATE_H */