From e39bbd6388a46a93cf74fe1562e2015060071c24 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 13 Jun 2012 11:43:50 +0200 Subject: [PATCH] model-checker : unused variables deleted --- src/mc/mc_liveness.c | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 117534f425..1ad236eabb 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -36,7 +36,6 @@ unsigned int hash_region(char *str, int str_len){ int data_program_region_compare(void *d1, void *d2, size_t size){ int distance = 0; int i; - char *pointed_address1 = NULL, *pointed_address2 = NULL; for(i=0; i