Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
typo
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 1 Nov 2014 22:57:30 +0000 (23:57 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 1 Nov 2014 22:57:30 +0000 (23:57 +0100)
src/mc/mc_comm_determinism.c

index 73b2701..e409c12 100644 (file)
@@ -356,7 +356,7 @@ void MC_modelcheck_comm_determinism(void)
       }
 
       /* Answer the request */
-      SIMIX_simcall_enter(req, value);    /* After this call req is no longer usefull */
+      SIMIX_simcall_enter(req, value);    /* After this call req is no longer useful */
 
       MC_SET_MC_HEAP;
       current_pattern = !initial_global_state->initial_communications_pattern_done ? initial_communications_pattern : communications_pattern;