atexit(SIMIX_clean);
#ifdef HAVE_MC
- // The communication initialisation is done ASAP.
- // We need to commuicate initialisation of the different layers to the model-checker.
+ // The communication initialization is done ASAP.
+ // We need to communicate initialization of the different layers to the model-checker.
if (mc_mode == MC_MODE_NONE) {
if (getenv(MC_ENV_SOCKET_FD)) {
mc_mode = MC_MODE_CLIENT;