From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 5 Mar 2013 20:28:57 +0000 (+0100)
Subject: model-checker : remove static function
X-Git-Tag: v3_9_90~452
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2d8659efd37976d438feae7108ca944efe38adac?ds=inline

model-checker : remove static function
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 6ee254a08f..7ed2201f89 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -18,7 +18,6 @@ static size_t heap_ignore_size(void *address);
 static void stack_region_free(stack_region_t s);
 static void heap_equality_free(heap_equality_t e);
 
-static int is_stack_ignore_variable(char *frame, char *var_name);
 static int compare_local_variables(char *s1, char *s2);
 static int compare_global_variables(int region_type, void *d1, void *d2);
 
@@ -510,7 +509,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
   
 }
 
-static int is_stack_ignore_variable(char *frame, char *var_name){
+int is_stack_ignore_variable(char *frame, char *var_name){
 
   unsigned int cursor = 0;
   int start = 0;
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 7292fe9b4d..17e8c9a4bc 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -60,6 +60,7 @@ mc_snapshot_t MC_take_snapshot(void);
 void MC_restore_snapshot(mc_snapshot_t);
 void MC_free_snapshot(mc_snapshot_t);
 void snapshot_stack_free_voidp(void *s);
+int is_stack_ignore_variable(char *frame, char *var_name);
 
 /********************************* MC Global **********************************/
 extern double *mc_time;