Merge branch 'xbt_random' into 'master'

[simgrid.git] / src / xbt / automaton / automatonparse_promela.c

diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c
index 104630c..bb18110 100644 (file)
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -12,10 +12,9 @@
 #if HAVE_UNISTD_H
 # include <unistd.h>   /* isatty */
 #endif
-#include <xbt/log.h>
 #include <xbt/sysdep.h>
 
-XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_automaton);
+#include "parserPromela.tab.cacc"
 
 static xbt_automaton_t parsed_automaton;
 char* state_id_src;
@@ -60,8 +59,6 @@ static void new_transition(char* id, xbt_automaton_exp_label_t label)
 
 }
 
-#include "parserPromela.tab.cacc"
-
 void xbt_automaton_load(xbt_automaton_t a, const char *file)
 {
   parsed_automaton = a;