model-checker : new example for liveness properties

[simgrid.git] / examples / cxx / ping_pong / Sender.cxx

diff --git a/examples/cxx/ping_pong/Sender.cxx b/examples/cxx/ping_pong/Sender.cxx
index 41cbd7b..e5d7968 100644 (file)
--- a/examples/cxx/ping_pong/Sender.cxx
+++ b/examples/cxx/ping_pong/Sender.cxx
@@ -1,6 +1,6 @@
 #include "Sender.hpp"
 #include "PingPongTask.hpp"
-#include <Host.hpp>
+#include <MsgHost.hpp>
 #include <HostNotFoundException.hpp>
 #include <Msg.hpp>
 
@@ -41,7 +41,7 @@ int Sender::main(int argc, char** argv)
        for (int pos = 0; pos < hostCount; pos++) 
        { 
                time = getClock(); 
-       
+               
                info(TEXT_("Sender time : ") + TEXT_(time));
        
                task = new PingPongTask("no name",computeDuration,commSizeLat);