model-checker : init var

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index f6612b7..c75d4f5 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -501,7 +501,7 @@ static xbt_dynar_t MC_get_local_variables_values(void *stack_context){
   int frame_found = 0, region_type;
   void *frame_pointer_address = NULL;
   long true_ip, value;
   int frame_found = 0, region_type;
   void *frame_pointer_address = NULL;
   long true_ip, value;

-  int stop;
+  int stop = 0;

 
   xbt_dynar_t variables = xbt_dynar_new(sizeof(local_variable_t), local_variable_free_voidp);
 
 
   xbt_dynar_t variables = xbt_dynar_new(sizeof(local_variable_t), local_variable_free_voidp);