Free MC memory on exit

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

diff --git a/src/mc/private.h b/src/mc/private.h
index 42b3000..972cf66 100644 (file)
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -61,6 +61,10 @@ void MC_dfs_init(void);
 void MC_dpor_init(void);
 void MC_dfs(void);
 void MC_dpor(void);
+void MC_dfs_exit(void);
+void MC_dpor_exit(void);
+
+
 
 /******************************* Transitions **********************************/
 typedef struct s_mc_transition{