diff --git a/src/tactic/fd_solver/CMakeLists.txt b/src/tactic/fd_solver/CMakeLists.txt
index 2a2254543..67567d19d 100644
--- a/src/tactic/fd_solver/CMakeLists.txt
+++ b/src/tactic/fd_solver/CMakeLists.txt
@@ -5,15 +5,7 @@ z3_add_component(fd_solver
     fd_solver.cpp
     pb2bv_solver.cpp
   COMPONENT_DEPENDENCIES
-    aig_tactic
-    fp
-    fpa_tactics
-    qe
     sat_solver
-    sls_tactic
-    smtlogic_tactics
-    subpaving_tactic
-    ufbv_tactic
   TACTIC_HEADERS
     fd_solver.h
 )