From 2b32ae3f9b6b6e55062991921ba4b7f1af126f6a Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 13 Sep 2012 13:55:25 +0200
Subject: [PATCH] model-checker : remove unused variable

---
 src/mc/mc_private.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 6e36d0a699..f7f8a366dc 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -35,8 +35,6 @@ typedef struct s_mc_snapshot{
   mc_mem_region_t *regions;
 } s_mc_snapshot_t, *mc_snapshot_t;
 
-extern char *prog_name;
-
 void MC_take_snapshot(mc_snapshot_t);
 void MC_take_snapshot_liveness(mc_snapshot_t s);
 void MC_restore_snapshot(mc_snapshot_t);
-- 
2.20.1