[mc] DRY with mc_update_comm_pattern() (broken)

[simgrid.git] / src / mc / mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 2f886d969b25c686a81cef473697d8daf5c50d59..4e113a0e88d2e1c5c6ed54e28c1f1513000c8861 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -735,6 +735,7 @@ static inline mc_call_type mc_get_call_type(smx_simcall_t req) {
 }
 
 void get_comm_pattern(xbt_dynar_t communications_pattern, smx_simcall_t request, mc_call_type call_type);
+void mc_update_comm_pattern(mc_call_type call_type, smx_simcall_t request, int value, xbt_dynar_t current_pattern);
 void complete_comm_pattern(xbt_dynar_t list, smx_action_t comm);
 void MC_pre_modelcheck_comm_determinism(void);
 void MC_modelcheck_comm_determinism(void);