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 bf93af4..bb18110 100644 (file)
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -12,13 +12,10 @@
 #if HAVE_UNISTD_H
 # include <unistd.h>   /* isatty */
 #endif
-#include <xbt/log.h>
 #include <xbt/sysdep.h>
 
 #include "parserPromela.tab.cacc"
 
-XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_automaton);
-
 static xbt_automaton_t parsed_automaton;
 char* state_id_src;