bazel(tools/dreal.bzl): Remove hdrs from dreal_cc_binary

dreal · Dec 23, 2023 · f93bdcc · f93bdcc
1 parent 28117b0
commit f93bdcc
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/tools/dreal.bzl b/tools/dreal.bzl
@@ -161,7 +161,6 @@ def dreal_pybind_library(
 
 def dreal_cc_binary(
         name,
-        hdrs = None,
         srcs = None,
         deps = None,
         copts = [],
@@ -180,7 +179,6 @@ def dreal_cc_binary(
     """
     native.cc_binary(
         name = name,
-        hdrs = hdrs,
         srcs = srcs,
         deps = deps,
         copts = _platform_copts(copts),
@@ -191,7 +189,6 @@ def dreal_cc_binary(
     if add_test_rule:
         dreal_cc_test(
             name = name + "_test",
-            hdrs = hdrs,
             srcs = srcs,
             deps = deps,
             copts = copts,