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         *|