void xbt_heap_free(xbt_heap_t H);
int xbt_heap_size(xbt_heap_t H);
-void xbt_heap_push(xbt_heap_t H, void *content, xbt_heap_float_t key);
+void xbt_heap_push(xbt_heap_t H, void *content, double key);
void *xbt_heap_pop(xbt_heap_t H);
-xbt_heap_float_t xbt_heap_maxkey(xbt_heap_t H);
+double xbt_heap_maxkey(xbt_heap_t H);
void *xbt_heap_maxcontent(xbt_heap_t H);
#endif /* _XBT_HEAP_H */