[mc] Duplicate restoreState() as a method of SafetyChecker

[simgrid.git] / src / mc / mc_forward.hpp

diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp
index 9474e9b..692d867 100644 (file)
--- 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;