Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
convert src/mc/mc_replay.h into mc_replay.hpp (+ don't use C linkage on C++ datatypes)
[simgrid.git] / src / simix / smx_global.cpp
index 0644ac7..6e770e8 100644 (file)
@@ -23,7 +23,7 @@
 
 #include "mc/mc.h"
 #include "simgrid/sg_config.h"
-#include "src/mc/mc_replay.h"
+#include "src/mc/mc_replay.hpp"
 #include "src/surf/StorageImpl.hpp"
 
 #include "src/smpi/include/smpi_process.hpp"
@@ -411,7 +411,7 @@ static bool SIMIX_execute_tasks()
  */
 void SIMIX_run()
 {
-  if (MC_record_path) {
+  if (not MC_record_path.empty()) {
     simgrid::mc::replay(MC_record_path);
     return;
   }