From 6400da63ab1977647116829f2e6e8f298be4bb63 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Aug 2018 10:10:52 -0700
Subject: [PATCH] missing file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/fd_solver/CMakeLists.txt | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/tactic/fd_solver/CMakeLists.txt

diff --git a/src/tactic/fd_solver/CMakeLists.txt b/src/tactic/fd_solver/CMakeLists.txt
new file mode 100644
index 000000000..2a2254543
--- /dev/null
+++ b/src/tactic/fd_solver/CMakeLists.txt
@@ -0,0 +1,19 @@
+z3_add_component(fd_solver
+  SOURCES
+    bounded_int2bv_solver.cpp
+    enum2bv_solver.cpp
+    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
+)