From 5f34c56373555b9860b902728a2990712b657464 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 19 Oct 2017 09:00:50 +0200
Subject: [PATCH] Avoid dangling pointer.

---
 src/xbt/automaton/automaton.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/xbt/automaton/automaton.c b/src/xbt/automaton/automaton.c
index dc12dbedfc..9fde6edb14 100644
--- a/src/xbt/automaton/automaton.c
+++ b/src/xbt/automaton/automaton.c
@@ -90,6 +90,7 @@ xbt_automaton_exp_label_t xbt_automaton_exp_label_new(int type, ...){
   default:
     XBT_DEBUG("Invalid type: %d", type);
     xbt_free(label);
+    label = NULL;
     break;
   }
   va_end(ap);
-- 
2.20.1