From ae8a60bafec6fcdaf39385ac4e2b818ccb26e4b4 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 23 Mar 2016 10:29:01 +0100 Subject: [PATCH] [xbt] Fix yet another memory leak in the promela parser --- src/xbt/automaton/automatonparse_promela.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c index 3640482bfa..b86bf6e470 100644 --- a/src/xbt/automaton/automatonparse_promela.c +++ b/src/xbt/automaton/automatonparse_promela.c @@ -42,9 +42,11 @@ static void new_state(char* id, int src){ if(type==-1) parsed_automaton->current_state = state; - if(src) + if(src) { + if (state_id_src) + free(state_id_src); state_id_src = xbt_strdup(id); - + } } static void new_transition(char* id, xbt_automaton_exp_label_t label) -- 2.20.1