Fix other "missing prototype" errors.

[simgrid.git] / src / mc / mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index f7cf92d..3c093ad 100644 (file)
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -581,7 +581,7 @@ mc_pair_stateless_t new_pair_stateless(mc_state_t sg, xbt_state_t st, int r){
   return p;
 }
 
-void MC_ddfs_init(){
+void MC_ddfs_init(void){
 
   XBT_DEBUG("**************************************************");
   XBT_DEBUG("Double-DFS init");