X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fa33c62c831c17237ac38960b24596560ad3804d..8bf7ffc43ad5507982e924a7f05bbb13c89965cb:/tools/cmake/DefinePackages.cmake?ds=sidebyside diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 2935cf4932..c28b7aa134 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -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