X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/53eb716f62b13f2c4efeb77f137589483bf941ee..e7c2b72c7328c4aade5049a3cc21603a9d27842c:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 250c77f117..fed2f4d562 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -152,6 +152,8 @@ uint64_t mc_hash_processes_state(int num_state, xbt_dynar_t stacks);
  */
 void MC_dump_stacks(FILE* file);
 
+void MC_report_assertion_error(void);
+
 SG_END_DECL()
 
 #endif