Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix Host::execute to use *this as a host location, not the this_actor->get_host()
[simgrid.git] / tools / cmake / DefinePackages.cmake
index 2935cf4..c28b7aa 100644 (file)
@@ -540,8 +540,6 @@ set(MC_SRC_STATELESS
 
   src/mc/explo/odpor/Execution.cpp
   src/mc/explo/odpor/Execution.hpp
-  src/mc/explo/odpor/ReversibleRaceCalculator.cpp
-  src/mc/explo/odpor/ReversibleRaceCalculator.hpp
   src/mc/explo/odpor/WakeupTree.cpp
   src/mc/explo/odpor/WakeupTree.hpp
   src/mc/explo/odpor/WakeupTreeIterator.cpp