Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix non-MC builds
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 12 May 2017 16:20:45 +0000 (18:20 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 12 May 2017 16:20:45 +0000 (18:20 +0200)
src/mc/mc_base.cpp

index c80227d..681efc3 100644 (file)
@@ -6,7 +6,9 @@
 #include <simgrid_config.h>
 
 #include "mc/mc.h"
 #include <simgrid_config.h>
 
 #include "mc/mc.h"
+#include "src/mc/mc_base.h"
 #include "src/mc/mc_replay.h"
 #include "src/mc/mc_replay.h"
+#include "src/simix/smx_private.h"
 
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"
 
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"