1 files changed, 0 insertions, 3 deletions
diff --git a/configure b/configure
index b65bbaf5..57957410 100755
--- a/configure
+++ b/configure
@@ -160,7 +160,6 @@ yaccname_given=
 yaccname='' # test tries $(YACC) first
 yacc='$(cross)$(tool_prefix)$(yaccname)'
 yacc_given=
-yacc_is_newer_bison=
 nm='$(cross)$(tool_prefix)nm'
 opt_flags='-O2 -fno-stack-protector'
 lang_flags='-D_XOPEN_SOURCE=700 -D_POSIX_C_SOURCE=200112 -D_GNU_SOURCE'
@@ -905,8 +904,6 @@ have_git := $have_git
 
 add_win_res := $([ -n "$have_windows_h" -a -n "$have_windres" ] && echo "y")
 
-yacc_is_newer_bison := $yacc_is_newer_bison
-
 TXR_CC := $cc
 TXR_LEX := $lex
 TXR_YACC := $yacc