typedef void (void_f_ppvoid_t)(void**);
typedef void (void_f_pvoid_t) (void*);
-/* 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 */
-
-typedef long double xbt_maxmin_float_t;
-#define XBT_MAXMIN_FLOAT_T "%Lg" /* for printing purposes */
-
-
END_DECL
#endif /* XBT_MISC_H */