From 13975211f041f20675232b7b2397eae61790503a Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 11 Aug 2013 17:12:33 +0200 Subject: [PATCH] model-checker : remove fprintf -> XBT_DEBUG --- src/xbt/mmalloc/mm_diff.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c index 819b161cb4..89e1c04879 100644 --- a/src/xbt/mmalloc/mm_diff.c +++ b/src/xbt/mmalloc/mm_diff.c @@ -572,7 +572,7 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2){ } if(heapinfo1[i1].busy_frag.equal_to[j1] == NULL){ - fprintf(stderr,"Block %zu, fragment %zu not found (size_used = %zd, address = %p, ignore %d)\n", i1, j1, heapinfo1[i1].busy_frag.frag_size[j1], addr_frag1, heapinfo1[i1].busy_frag.ignore[j1]); + XBT_DEBUG("Block %zu, fragment %zu not found (size_used = %zd, address = %p, ignore %d)\n", i1, j1, heapinfo1[i1].busy_frag.frag_size[j1], addr_frag1, heapinfo1[i1].busy_frag.ignore[j1]); i2 = heaplimit + 1; i1 = heaplimit + 1; nb_diff1++; -- 2.20.1