diff --git a/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel b/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
index a804cfaa..db28ba91 100644
--- a/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
+++ b/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
@@ -1197,11 +1197,7 @@ cc_library(
         "src/sat/xsat/xsatSolverAPI.c",
         "src/sat/xsat/xsatSolver.c",
     ],
-    hdrs = [
-        "src/base/abc/abc.h",
-        "src/base/main/main.h",
-        "src/misc/util/abc_global.h",
-    ],
+    hdrs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]),
     copts = [
         "-Wno-sign-compare",
         "-Wno-unused-function",