From ed98a4c3eb4b8dd9b9ed4534d07487c051557b65 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 17 Oct 2012 18:34:19 +0200 Subject: [PATCH] model-checker : fix first parameter for get_stack_pointer (need stack context pointer instead of stack) --- src/mc/mc_checkpoint.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } -- 2.20.1