Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[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 2cae6d5..d62c20d 100644 (file)
--- a/src/xbt/automaton/automatonparse_promela.c
+++ b/src/xbt/automaton/automatonparse_promela.c
@@ -6,12 +6,12 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include "xbt/automaton.h"
 #include "src/internal_config.h"
+#include "xbt/automaton.h"
 #include <errno.h>
 #include <string.h>   /* strerror */
 #if HAVE_UNISTD_H
-#include <unistd.h>   /* isatty */
+# include <unistd.h>   /* isatty */
 #endif
 
 static xbt_automaton_t parsed_automaton;