X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/340cf8df326e4bbb67c046172f8a73eecc6a3583..11ce6b59ec29ed55d422a0c97a7d734ac1eb7a39:/src/mc/mc_forward.hpp diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp index 1be20a4124..692d867cf9 100644 --- a/src/mc/mc_forward.hpp +++ b/src/mc/mc_forward.hpp @@ -26,12 +26,14 @@ class Member; class Type; class Variable; class Frame; +class SimixProcessInformation; + +class Session; +class Checker; } } -struct s_mc_smx_process_info; - // TODO, try to get rid of the global ModelChecker variable extern simgrid::mc::ModelChecker* mc_model_checker;