]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/mc_client_api.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] C++ style SimixProcessInformation
[simgrid.git] / src / mc / mc_client_api.cpp
index 372f3c408247c77cd05c673d9a3d5b6cc8d8a8cb..21a1db98d3112b30665f06d00af3f4dc4553666c 100644 (file)
@@ -9,13 +9,12 @@
 #include <xbt/sysdep.h>
 #include <simgrid/modelchecker.h>
 
-#include "mc_record.h"
-#include "mc_private.h"
-#include "mc_mmalloc.h"
-#include "mc_ignore.h"
-#include "mc_protocol.h"
-#include "mc_client.h"
-#include "ModelChecker.hpp"
+#include "src/mc/mc_record.h"
+#include "src/mc/mc_private.h"
+#include "src/mc/mc_ignore.h"
+#include "src/mc/mc_protocol.h"
+#include "src/mc/mc_client.h"
+#include "src/mc/ModelChecker.hpp"
 
 /** \file mc_client_api.cpp
  *