SG_BEGIN_DECL()
- typedef void (void_f_ppvoid_t)(void**);
- typedef void (void_f_pvoid_t) (void*);
- typedef void* (pvoid_f_void_t)(void);
- typedef void* (pvoid_f_pvoid_t)(void*);
- typedef void (*void_f_void_t) (void);
+ typedef void (*void_f_ppvoid_t) (void **);
+ typedef void (*void_f_pvoid_t) (void *);
+ typedef void *(*pvoid_f_void_t) (void);
+ typedef void *(*pvoid_f_pvoid_t) (void *);
+ typedef void (*void_f_void_t) (void);
- typedef int (int_f_pvoid_pvoid_t) (void*,void*);
-
- typedef int (*int_f_void_t) (void); /* FIXME: rename it to int_pf_void_t */
+ typedef int (*int_f_void_t) (void);
-SG_END_DECL()
+ typedef int (*int_f_pvoid_pvoid_t) (void *, void *);
+
+ typedef int (*xbt_main_func_t) (int argc, char *argv[]);
-#endif /* XBT_MISC_H */
+SG_END_DECL()
+#endif /* XBT_FUNCTION_TYPE_H */
