From 28628af902f72f15bd3fb0b7c93d1dd8a63d29ac Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 3 Jul 2012 22:38:16 +0200
Subject: [PATCH] model-checker : typo

---
 src/mc/mc_liveness.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index c841a9663b..fbbd221e90 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -63,7 +63,7 @@ int create_dump(int pair)
     printf("child exited with status %d\n", status);
     if(WIFSIGNALED(status) && WCOREDUMP(status)){
       printf("got a core dump\n");
-      char *core_name = malloc(20);;
+      char *core_name = malloc(20);
       sprintf(core_name,"mv core core_%d", pair); 
       system((char *)core_name);
       free(core_name);
-- 
2.20.1