From f2426dfdeb327924f2035fdb6c88542c19c5ee13 Mon Sep 17 00:00:00 2001
From: Tom van Dijk <tom@tvandijk.nl>
Date: Sun, 25 Oct 2020 12:07:44 +0100
Subject: [PATCH] Make some variables static to avoid link errors.

---
 buchi.c       | 5 +++--
 generalized.c | 5 +++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/buchi.c b/buchi.c
index 3f15e3d..fd187ae 100644
--- a/buchi.c
+++ b/buchi.c
@@ -45,8 +45,9 @@ extern void put_uform(void);
 
 extern FILE *tl_out;	
 BState *bstack, *bstates, *bremoved;
-BScc *scc_stack;
-int bstate_count = 0, btrans_count = 0, rank;
+static BScc *scc_stack;
+int bstate_count = 0, btrans_count = 0;
+static int rank;
 
 static int _accept;
 
diff --git a/generalized.c b/generalized.c
index 4be7a04..74a881c 100644
--- a/generalized.c
+++ b/generalized.c
@@ -46,9 +46,10 @@ extern int tl_verbose, tl_stats, tl_simp_diff, tl_simp_fly, tl_fjtofj,
 extern char **sym_table;
 
 GState *gstack, *gremoved, *gstates, **init;
-GScc *scc_stack;
+static GScc *scc_stack;
 int init_size = 0, gstate_id = 1, gstate_count = 0, gtrans_count = 0;
-int *fin, *final, rank, scc_id, scc_size, *bad_scc;
+int *fin, *final, scc_id, scc_size, *bad_scc;
+static int rank;
 
 void print_generalized();