From 3c6a3a3620702f723c19e43894316e0217bf5f5d Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 20 Sep 2017 16:17:35 +0200 Subject: [PATCH] Fix double-free error. --- src/xbt/automaton/automaton.c | 1 - 1 file changed, 1 deletion(-) diff --git a/src/xbt/automaton/automaton.c b/src/xbt/automaton/automaton.c index 7f3c7463d5..eb1e879f74 100644 --- a/src/xbt/automaton/automaton.c +++ b/src/xbt/automaton/automaton.c @@ -395,7 +395,6 @@ void xbt_automaton_propositional_symbol_free_voidp(void *ps){ xbt_automaton_propositional_symbol_t symbol = (xbt_automaton_propositional_symbol_t) * (void **) ps; if (symbol->free_function) symbol->free_function(symbol->data); - xbt_free(symbol->pred); xbt_automaton_propositional_symbol_free(symbol); } -- 2.20.1