Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename sg_config.h -> sg_config.hpp.
[simgrid.git] / src / mc / checker / simgrid_mc.cpp
index af02035..7f3d39a 100644 (file)
@@ -16,7 +16,7 @@
 
 #include <xbt/log.h>
 
-#include "simgrid/sg_config.h"
+#include "simgrid/sg_config.hpp"
 #include "src/xbt_modinter.h"
 
 #include "src/mc/Session.hpp"