[mc] Move s_local_variable in mc_snapshot.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index da88999..631681d 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -111,15 +111,6 @@ XBT_INTERNAL void print_comparison_times(void);
 
 /********************************** Miscellaneous **********************************/
 
 
 /********************************** 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
 /* *********** Hash *********** */
 
 /** \brief Hash the current state

diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h
index 17c64d8..30c9e1c 100644 (file)
--- 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;
 
   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;
 typedef struct s_mc_snapshot_stack{
   xbt_dynar_t local_variables;
   mc_unw_context_t context;