diff --git a/util/LLgen/lib/rec b/util/LLgen/lib/rec
index 3d2188d9d..071a23ce7 100644
--- a/util/LLgen/lib/rec
+++ b/util/LLgen/lib/rec
@@ -11,7 +11,6 @@ static char *rcsid = "$Header$";
 # include <stdio.h>
 # endif
 
-int		LLsymb;
 unsigned int	LLtcnt[LL_NTERMINALS];
 unsigned int	LLscnt[LL_NSETS];
 int		LLcsymb, LLsymb;