From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 17 Oct 2012 16:34:19 +0000 (+0200)
Subject: model-checker : fix first parameter for get_stack_pointer (need stack context pointer... 
X-Git-Tag: v3_9_rc1~91^2~185
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ed98a4c3eb4b8dd9b9ed4534d07487c051557b65?hp=5e80b119f85e258080482cb688a6b89e01d74595

model-checker : fix first parameter for get_stack_pointer (need stack context pointer instead of stack)
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index ce2924e14d..a9e4916d6e 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -330,7 +330,7 @@ static xbt_dynar_t take_snapshot_stacks(void *heap){
   xbt_dynar_foreach(stacks_areas, cursor1, current_stack){
     mc_snapshot_stack_t st = xbt_new(s_mc_snapshot_stack_t, 1);
     st->local_variables = get_local_variables_values(current_stack->context, heap);
-    st->stack_pointer = get_stack_pointer(current_stack, heap);
+    st->stack_pointer = get_stack_pointer(current_stack->context, heap);
     xbt_dynar_push(res, &st);
   }