X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/77385a2b4bc1518d701cbf33acc04d16ae3b640b..af6d6b158ab3c99f190cb670b1918bbadaa9e250:/tools/cmake/DefinePackages.cmake diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 28adc9a2de..7f83b4f3a7 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -637,7 +637,6 @@ set(MC_SRC src/mc/ModelChecker.hpp src/mc/VisitedState.cpp src/mc/VisitedState.hpp - src/mc/api.hpp src/mc/api/ActorState.hpp src/mc/api/State.cpp src/mc/api/State.hpp