Remove the stateful model-checking from the archive. It's not working anymore

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

diff --git a/examples/smpi/mc/mutual_exclusion.c b/examples/smpi/mc/mutual_exclusion.c
index 0fb0a75..235860c 100644 (file)
--- a/examples/smpi/mc/mutual_exclusion.c
+++ b/examples/smpi/mc/mutual_exclusion.c
@@ -27,8 +27,6 @@ int main(int argc, char **argv){
     exit(1);
   }
 
-  MC_ignore(&status.count, sizeof status.count);
-
   /* Get number of processes */
   MPI_Comm_size(MPI_COMM_WORLD, &size);
   /* Get id of this process */