From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 11 Nov 2012 13:56:43 +0000 (+0100)
Subject: model-checker : typo
X-Git-Tag: v3_9_rc1~91^2~126^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8ab1e1d4905449ffe223868191b8a78bf3fb0064

model-checker : typo
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 389ad342da..81bde65bf6 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -176,7 +176,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
     }
   }
 
-  /* Compare number of blocks/fragments uses in each heap */
+  /* Compare number of blocks/fragments used in each heap */
   size_t chunks_used1 = mmalloc_get_chunks_used((xbt_mheap_t)s1->regions[heap_index]->data);
   size_t chunks_used2 = mmalloc_get_chunks_used((xbt_mheap_t)s2->regions[heap_index]->data);
   if(chunks_used1 != chunks_used2){