summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lempar.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/lempar.c b/lempar.c
index 774b875e21..8f7eb02bc3 100644
--- a/lempar.c
+++ b/lempar.c
@@ -294,6 +294,7 @@ static void yy_destructor(
YYMINORTYPE *yypminor /* The object to be destroyed */
){
ParseARG_FETCH;
+ ParseARG_STORE; /* Suppress warning about unused %extra_argument variable */
switch( yymajor ){
/* Here is inserted the actions which take place when a
** terminal or non-terminal is destroyed. This can happen