diff --git a/Tools/check_tools.sh b/Tools/check_tools.sh
index 32fd89a4a..66bd67a2a 100755
--- a/Tools/check_tools.sh
+++ b/Tools/check_tools.sh
@@ -18,7 +18,7 @@ check_installed() {
 cd $(dirname $0)/..
 
 #autoconf pkg-config java ant yasm nasm wget
-for prog in autoconf automake pkg-config doxygen antlr3 java nasm gettext wget yasm optipng; do
+for prog in autoconf automake pkg-config doxygen java nasm gettext wget yasm optipng; do
 	check_installed "$prog" "it"
 done