From 62909bd3e1734c5382aac48bb2c62cb70c8abfa4 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 12 Sep 2011 15:24:43 +0200 Subject: [PATCH] model-checker : delete struct reached_pair_stateless unused --- src/mc/private.h | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/mc/private.h b/src/mc/private.h index 9136e9004b..76c0e899ec 100644 --- a/src/mc/private.h +++ b/src/mc/private.h @@ -229,11 +229,6 @@ typedef struct s_mc_pair_stateless{ xbt_state_t automaton_state; }s_mc_pair_stateless_t, *mc_pair_stateless_t; -typedef struct s_mc_reached_pair_stateless{ - mc_pair_stateless_t pair; - mc_snapshot_t snapshot_system; -}s_mc_reached_pair_stateless_t, *mc_reached_pair_stateless_t; - extern xbt_fifo_t mc_stack_liveness_stateless; mc_pair_stateless_t new_pair_stateless(mc_state_t sg, xbt_state_t st); -- 2.20.1