From 3f8469006c8a8486904d2870733afabfb0d968a7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 27 Apr 2012 15:31:55 +0200
Subject: [PATCH] Use -DBL_MAX for MIN_KEY_VALUE.

---
 src/xbt/heap_private.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/xbt/heap_private.h b/src/xbt/heap_private.h
index cd2b6a81a2..40a17af9b7 100644
--- 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 */
-- 
2.20.1