-/* Copyright (c) 2013-2020. The SimGrid Team.
+/* Copyright (c) 2013-2021. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
MC_automaton_new_propositional_symbol_pointer("r", &r);
MC_automaton_new_propositional_symbol_pointer("cs", &cs);
- MC_ignore(&(status.count), sizeof(status.count));
+ MC_ignore(&status.count, sizeof status.count);
/* Get number of processes */
MPI_Comm_size(MPI_COMM_WORLD, &size);