na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 27, 2020 · 6706b0d · 6706b0d
1 parent 872fd5e
commit 6706b0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/sat/smt/CMakeLists.txt b/src/sat/smt/CMakeLists.txt
@@ -1,6 +1,7 @@
 z3_add_component(sat_smt
   SOURCES
     atom2bool_var.cpp
+    sat_th.cpp
   COMPONENT_DEPENDENCIES
     sat
     ast