Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't require MC dependencies when building w/o MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 1 Mar 2021 00:59:12 +0000 (01:59 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 1 Mar 2021 00:59:12 +0000 (01:59 +0100)
src/mc/checker/SimcallInspector.cpp

index d496858..94b3438 100644 (file)
@@ -7,10 +7,6 @@
 #include "simgrid/s4u/Host.hpp"
 #include "src/kernel/actor/ActorImpl.hpp"
 
-#include "src/mc/api.hpp"
-#include "src/mc/mc_smx.hpp"
-#include "xbt/string.hpp"
-
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_inspector, mc, "Logging specific to MC simcall inspection");
 
 namespace simgrid {