From a689a5d482f27922e0e031c45f6ad6fd4eb98d99 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 11 Feb 2013 09:14:31 +0100 Subject: [PATCH] model-checker : remove commentated declaration of function (doesn't exist anymore) --- src/mc/mc_private.h | 1 - 1 file changed, 1 deletion(-) 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); -- 2.20.1