X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96e9a8e891b426a1bcd3214322f34bb40ba2b33e..716d142041874497e12e5e52cd2c020d7e093ab9:/src/mc/mc_forward.hpp diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp index 9474e9beca..692d867cf9 100644 --- a/src/mc/mc_forward.hpp +++ b/src/mc/mc_forward.hpp @@ -28,12 +28,12 @@ class Variable; class Frame; class SimixProcessInformation; +class Session; +class Checker; + } } -// TODO, remove -typedef simgrid::mc::SimixProcessInformation s_mc_smx_process_info; - // TODO, try to get rid of the global ModelChecker variable extern simgrid::mc::ModelChecker* mc_model_checker;