diff --git a/tools/default.defs b/tools/default.defs
index 223d9be74e..27efa11a1f 100644
--- a/tools/default.defs
+++ b/tools/default.defs
@@ -21,7 +21,6 @@ def genantlr(
     name,
     srcs,
     out):
-  tmp = name + '.src.zip'
   genrule(
     name = name,
     srcs = srcs,