X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5a99bd94a2cedf8b455e78de53b19bebab8c034e..a5ca7957443f89e7fef7929dcd70ba4fd2695e67:/src/mc/mc_forward.h diff --git a/src/mc/mc_forward.h b/src/mc/mc_forward.h index 58fde4cbde..de151e09d4 100644 --- a/src/mc/mc_forward.h +++ b/src/mc/mc_forward.h @@ -19,6 +19,7 @@ typedef struct s_dw_frame s_dw_frame_t, *dw_frame_t; typedef struct s_mc_pages_store s_mc_pages_store_t, *mc_pages_store_t; typedef struct s_mc_snapshot s_mc_snapshot_t, *mc_snapshot_t; +typedef struct s_mc_process s_mc_process_t, * mc_process_t; typedef struct s_mc_model_checker s_mc_model_checker_t, *mc_model_checker_t; extern mc_model_checker_t mc_model_checker;