From 1c225c8b672d1ddf79fffddd12061de0a2857ece Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 23 Jul 2015 13:03:15 +0200 Subject: [PATCH 1/1] [mc] Remove remainings of an old type --- src/mc/mc_forward.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/mc/mc_forward.h b/src/mc/mc_forward.h index e144f4637e..42edadfa2d 100644 --- a/src/mc/mc_forward.h +++ b/src/mc/mc_forward.h @@ -64,8 +64,6 @@ typedef s_mc_type_t *mc_type_t; typedef s_mc_variable_t *mc_variable_t; typedef s_mc_frame_t *mc_frame_t; -typedef struct s_memory_map s_memory_map_t, *memory_map_t; - SG_BEGIN_DECL() extern mc_model_checker_t mc_model_checker; SG_END_DECL() -- 2.20.1