Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
[simgrid.git] / src / mc / mc_visited.cpp
index 104576b..6498965 100644 (file)
@@ -11,7 +11,7 @@
 #include "mc_safety.h"
 #include "mc_liveness.h"
 #include "mc_private.h"
-#include "mc_process.h"
+#include "mc/Process.hpp"
 #include "mc_smx.h"
 
 extern "C" {