From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 11 Feb 2013 08:14:31 +0000 (+0100)
Subject: model-checker : remove commentated declaration of function (doesn't exist anymore)
X-Git-Tag: v3_9_90~458
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a689a5d482f27922e0e031c45f6ad6fd4eb98d99

model-checker : remove commentated declaration of function (doesn't exist anymore)
---

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index c0b6287683..0d55eef8e3 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -53,7 +53,6 @@ typedef struct s_mc_global_t{
   int raw_mem_set;
 }s_mc_global_t, *mc_global_t;
 
-//void MC_take_snapshot(mc_snapshot_t);
 mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall);
 mc_snapshot_t MC_take_snapshot(void);
 void MC_restore_snapshot(mc_snapshot_t);