Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix #if HAVE_HEADACHE
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 14:49:36 +0000 (15:49 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 14:49:36 +0000 (15:49 +0100)
src/xbt/automaton/automatonparse_promela.c
src/xbt/xbt_log_layout_format.c

index 2cae6d5..d62c20d 100644 (file)
@@ -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;
index 372ed4e..b93ecad 100644 (file)
@@ -16,7 +16,7 @@
 #include "surf/surf.h"
 #include <stdio.h>
 
-#ifdef HAVE_EXECINFO_H
+#if HAVE_EXECINFO_H
 #  include <execinfo.h> /* Function backtrace */
 #endif