From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Thu, 26 Jun 2014 15:50:45 +0000 (+0200)
Subject: model-checker : minor fix in comments
X-Git-Tag: v3_12~956^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/75840f2cdbae984b040060e55903f069a225e9f0?hp=82a050fd6b958f8d88bcbb40eb9f5f7f5f936737

model-checker : minor fix in comments
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index b45b279bd6..4717fcd02c 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -240,7 +240,7 @@ void MC_pre_modelcheck_liveness(void)
       initial_pair->graph_state = MC_state_new();
       initial_pair->atomic_propositions = get_atomic_propositions_values();
 
-      /* Get enabled process and insert it in the interleave set of the graph_state */
+      /* Get enabled processes and insert them in the interleave set of the graph_state */
       xbt_swag_foreach(process, simix_global->process_list) {
         if (MC_process_is_enabled(process)) {
           MC_state_interleave_process(initial_pair->graph_state, process);
@@ -423,7 +423,7 @@ void MC_modelcheck_liveness()
               next_pair->automaton_state = transition_succ->dst;
               next_pair->atomic_propositions = get_atomic_propositions_values();
 
-              /* Get enabled process and insert it in the interleave set of the next graph_state */
+              /* Get enabled processes and insert them in the interleave set of the next graph_state */
               xbt_swag_foreach(process, simix_global->process_list) {
                 if (MC_process_is_enabled(process)) {
                   MC_state_interleave_process(next_pair->graph_state, process);