Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::Checker to mc::Exploration as it defines an exploration algo
[simgrid.git] / src / mc / mc_forward.hpp
index dc0e571..5972ec1 100644 (file)
@@ -29,8 +29,7 @@ class Frame;
 class ActorInformation;
 
 class Session;
-class Checker;
-
+class Exploration;
 }
 }