model-checker : update tesh file

[simgrid.git] / examples / msg / chainsend / peer.h

diff --git a/examples/msg/chainsend/peer.h b/examples/msg/chainsend/peer.h
index 8727e15f36629b96c1f0a068dcfb1dc2c19ce6dc..fd20ecac1a03f07b3f13cbd4e01685da133859ff 100644 (file)
--- a/examples/msg/chainsend/peer.h
+++ b/examples/msg/chainsend/peer.h
@@ -19,7 +19,7 @@ typedef struct s_peer {
   unsigned long long bytes;
   xbt_dynar_t pending_recvs;
   xbt_dynar_t pending_sends;
-  int close_asap; /* TODO: unused */
+  unsigned int total_pieces;
 } s_peer_t, *peer_t;
 
 /* Peer: helper functions */