From 091e219aed9bb55b39920e8864fd66d30fe3311b Mon Sep 17 00:00:00 2001
From: Michael Weber <michaelw@foldr.org>
Date: Fri, 4 Feb 2011 15:02:50 +0100
Subject: [PATCH] Make "accept" static to avoid clashes with accept(2) syscall

TODO:
there are lots of variables in ltl2ba which should perhaps better be static
---
 buchi.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/buchi.c b/buchi.c
index 0baf3a0..57bc6e9 100644
--- a/buchi.c
+++ b/buchi.c
@@ -43,7 +43,9 @@ extern void put_uform(void);
 extern FILE *tl_out;	
 BState *bstack, *bstates, *bremoved;
 BScc *scc_stack;
-int accept, bstate_count = 0, btrans_count = 0, rank;
+int bstate_count = 0, btrans_count = 0, rank;
+
+static int accept;
 
 /********************************************************************\
 |*        Simplification of the generalized Buchi automaton         *|