From 60110bb289af53293e483b381ae2c6ff28c48fb4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Aug 2018 10:34:13 -0700
Subject: [PATCH] reduce dependencies in CMakeLists file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/fd_solver/CMakeLists.txt | 8 --------
 1 file changed, 8 deletions(-)

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
 )