model-checker : update tesh files

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

diff --git a/examples/msg/chainsend/peer.h b/examples/msg/chainsend/peer.h
index fd20eca..8ee42f7 100644 (file)
--- a/examples/msg/chainsend/peer.h
+++ b/examples/msg/chainsend/peer.h
@@ -12,8 +12,8 @@
 /* Peer struct */
 typedef struct s_peer {
   int init;
-  const char *prev;
-  const char *next;
+  char *prev;
+  char *next;
   char *me;
   int pieces;
   unsigned long long bytes;