From 8ab1e1d4905449ffe223868191b8a78bf3fb0064 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 11 Nov 2012 14:56:43 +0100 Subject: [PATCH] model-checker : typo --- src/mc/mc_compare.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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){ -- 2.20.1