Put stdout in line buffer mode for MCed apps.

[simgrid.git] / examples / smpi / mc / non_termination4.c

diff --git a/examples/smpi/mc/non_termination4.c b/examples/smpi/mc/non_termination4.c
index 5e7add0560655dff71f51186c07ec6af611130d9..cd8b1a22a7484a7cb60a3d19696acb7381e0e74e 100644 (file)
--- a/examples/smpi/mc/non_termination4.c
+++ b/examples/smpi/mc/non_termination4.c
@@ -5,7 +5,9 @@
 int x = 20;
 
 int main(int argc, char **argv) {
-  int recv_x = 1, size, rank;
+  int recv_x = 1;
+  int size;
+  int rank;
   MPI_Status status;
 
   MPI_Init(&argc, &argv);
@@ -13,7 +15,7 @@ int main(int argc, char **argv) {
   MPI_Comm_size(MPI_COMM_WORLD, &size);   /* Get nr of tasks */
   MPI_Comm_rank(MPI_COMM_WORLD, &rank);   /* Get id of this process */
 
-  MC_ignore(&(status.count), sizeof(status.count));
+  MC_ignore(&status.count, sizeof status.count);
 
   if(rank==0){
     while (recv_x>=0) {