-/* The following two definitions concern the type of the keys used for
- the heaps. That should be handled via configure (FIXME). */
-typedef long double xbt_heap_float_t;
-#define XBT_HEAP_FLOAT_T "%Lg" /* for printing purposes */
-
-/* /\* pointer to a function freeing something (should be common to all .h : FIXME) *\/ */
-/* typedef void (void_f_pvoid_t) (void *); */
-