From 6706b0dfcdc7c99662567a75c59862be981026f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Aug 2020 15:07:45 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/CMakeLists.txt b/src/sat/smt/CMakeLists.txt
index b6c0a3ae5..a4c9e363a 100644
--- 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