X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/edbe0217c71ac02bc107e38ad14018c607ad0149..586776316687c1b369137bdbcd2107761ed5ba9a:/src/xbt/automaton/automatonparse_promela.c

diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c
index 1c4b4da2cd..f35835daad 100644
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -17,7 +17,7 @@ static xbt_automaton_t parsed_automaton;
 char* state_id_src;
 
 static void new_state(char* id, int src){
-  char* saveptr; // for strtok_r()
+  char* saveptr = NULL; // for strtok_r()
   char* id_copy = xbt_strdup(id);
   char* first_part = strtok_r(id_copy, "_", &saveptr);
   int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state