From d71bf20df3f576f736b7b9ed2d45298889979b22 Mon Sep 17 00:00:00 2001
From: Jeroen Meijer <jjgmeijer@gmail.com>
Date: Thu, 9 Aug 2018 10:46:27 +0200
Subject: [PATCH] Add missing includes for config.h.

---
 alternating.c | 1 +
 buchi.c       | 1 +
 cache.c       | 1 +
 generalized.c | 1 +
 lex.c         | 1 +
 mem.c         | 1 +
 parse.c       | 1 +
 rewrt.c       | 1 +
 set.c         | 1 +
 trans.c       | 1 +
 util.c        | 1 +
 11 files changed, 11 insertions(+)

diff --git a/alternating.c b/alternating.c
index 5c60776..859785e 100644
--- a/alternating.c
+++ b/alternating.c
@@ -27,6 +27,7 @@
 /* Send bug-reports and/or questions to Paul Gastin                       */
 /* http://www.lsv.ens-cachan.fr/~gastin                                   */
 
+#include "config.h"
 #include "ltl2ba.h"
 #include "util.h"
 #include <sys/resource.h>
diff --git a/buchi.c b/buchi.c
index 2faa273..3f15e3d 100644
--- a/buchi.c
+++ b/buchi.c
@@ -27,6 +27,7 @@
 /* Send bug-reports and/or questions to Paul Gastin                       */
 /* http://www.lsv.ens-cachan.fr/~gastin                                   */
 
+#include "config.h"
 #include "ltl2ba.h"
 #include "util.h"
 #include <sys/resource.h>
diff --git a/cache.c b/cache.c
index 2f64147..947e27f 100644
--- a/cache.c
+++ b/cache.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 typedef struct Cache {
diff --git a/generalized.c b/generalized.c
index 11cb9b1..4be7a04 100644
--- a/generalized.c
+++ b/generalized.c
@@ -27,6 +27,7 @@
 /* Send bug-reports and/or questions to Paul Gastin                       */
 /* http://www.lsv.ens-cachan.fr/~gastin                                   */
 
+#include "config.h"
 #include "ltl2ba.h"
 #include "util.h"
 #include <sys/time.h>
diff --git a/lex.c b/lex.c
index 4c5b3df..71e1d38 100644
--- a/lex.c
+++ b/lex.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include <stdlib.h>
 #include <ctype.h>
 #include "ltl2ba.h"
diff --git a/mem.c b/mem.c
index d329935..dc1fb3a 100644
--- a/mem.c
+++ b/mem.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 #if 1
diff --git a/parse.c b/parse.c
index 9d93f8b..65232d0 100644
--- a/parse.c
+++ b/parse.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 extern int	tl_verbose, tl_simp_log;
diff --git a/rewrt.c b/rewrt.c
index 0d370b2..5aea1a6 100644
--- a/rewrt.c
+++ b/rewrt.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 extern int	tl_verbose;
diff --git a/set.c b/set.c
index 2fdaff9..58aa2a1 100644
--- a/set.c
+++ b/set.c
@@ -27,6 +27,7 @@
 /* Send bug-reports and/or questions to Paul Gastin                       */
 /* http://www.lsv.ens-cachan.fr/~gastin                                   */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 extern FILE *tl_out;
diff --git a/trans.c b/trans.c
index 09bdf91..f501752 100644
--- a/trans.c
+++ b/trans.c
@@ -30,6 +30,7 @@
 /* Some of the code in this file was taken from the Spin software         */
 /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A.               */
 
+#include "config.h"
 #include "ltl2ba.h"
 
 extern int tl_verbose, tl_terse, tl_errs;
diff --git a/util.c b/util.c
index 741f25e..d0da2b8 100644
--- a/util.c
+++ b/util.c
@@ -1,3 +1,4 @@
+#include "config.h"
 #include "ltl2ba.h"
 #include "util.h"