model-checker : rename MC_max_depth(int prop) -> MC_cut()

[simgrid.git] / include / xbt / function_types.h

diff --git a/include/xbt/function_types.h b/include/xbt/function_types.h
index d140c97767e4b9d3a467db7606e67c894f306718..fc1b45883d3a6b01ca6c44a356916bb8e1e3078e 100644 (file)
--- a/include/xbt/function_types.h
+++ b/include/xbt/function_types.h
@@ -21,6 +21,7 @@ typedef void *(*pvoid_f_pvoid_t) (void *);
 typedef void (*void_f_void_t) (void);
 
 typedef int (*int_f_void_t) (void);
+typedef int (*int_f_pvoid_t) (void*);
 
 typedef int (*int_f_pvoid_pvoid_t) (void *, void *);
 typedef int (*int_f_cpvoid_cpvoid_t) (const void *, const void *);