From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 13 Sep 2012 11:55:25 +0000 (+0200)
Subject: model-checker : remove unused variable
X-Git-Tag: v3_8~146^2~48
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2b32ae3f9b6b6e55062991921ba4b7f1af126f6a?ds=sidebyside

model-checker : remove unused variable
---

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);