1 files changed, 0 insertions, 12 deletions
diff --git a/tools/nogo/check/BUILD b/tools/nogo/check/BUILD
deleted file mode 100644
index e2d76cd5c..000000000
--- a/tools/nogo/check/BUILD
+++ /dev/null
@@ -1,12 +0,0 @@
-load("//tools:defs.bzl", "go_binary")
-
-package(licenses = ["notice"])
-
-# Note that the check binary must be public, since an aspect may be applied
-# across lots of different rules in different repositories.
-go_binary(
-    name = "check",
-    srcs = ["main.go"],
-    visibility = ["//visibility:public"],
-    deps = ["//tools/nogo"],
-)