model-checker : new example for liveness properties

[simgrid.git] / examples / cxx / autoDestination / FinalizeTask.hpp

diff --git a/examples/cxx/autoDestination/FinalizeTask.hpp b/examples/cxx/autoDestination/FinalizeTask.hpp
index a181ae3..62f7ade 100644 (file)
--- a/examples/cxx/autoDestination/FinalizeTask.hpp
+++ b/examples/cxx/autoDestination/FinalizeTask.hpp
@@ -1,7 +1,7 @@
 #ifndef FINALIZE_TASK_HPP
 #define FINALIZE_TASK_HPP
 
-#include <Task.hpp>
+#include <MsgTask.hpp>
 using namespace SimGrid::Msg;
 
 class FinalizeTask : public Task