From c40ad14d15a23201f68728e1ced86dccafffa2c0 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Mon, 8 Jun 2015 13:04:11 +0200 Subject: [PATCH] [mc] Move s_local_variable in mc_snapshot.h --- src/mc/mc_private.h | 9 --------- src/mc/mc_snapshot.h | 9 +++++++++ 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index da88999e63..631681d22c 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -111,15 +111,6 @@ XBT_INTERNAL void print_comparison_times(void); /********************************** Miscellaneous **********************************/ -typedef struct s_local_variable{ - dw_frame_t subprogram; - unsigned long ip; - char *name; - dw_type_t type; - void *address; - int region; -} s_local_variable_t, *local_variable_t; - /* *********** Hash *********** */ /** \brief Hash the current state diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h index 17c64d886f..30c9e1cb11 100644 --- a/src/mc/mc_snapshot.h +++ b/src/mc/mc_snapshot.h @@ -109,6 +109,15 @@ typedef struct s_mc_stack_frame { unw_cursor_t unw_cursor; } s_mc_stack_frame_t, *mc_stack_frame_t; +typedef struct s_local_variable{ + dw_frame_t subprogram; + unsigned long ip; + char *name; + dw_type_t type; + void *address; + int region; +} s_local_variable_t, *local_variable_t; + typedef struct s_mc_snapshot_stack{ xbt_dynar_t local_variables; mc_unw_context_t context; -- 2.20.1