From d64a2bdbed5c0dbafbe8efd6e0c90359a77d594b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 10 Dec 2023 10:27:22 -0800
Subject: [PATCH] include dependency in cmakelist

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 95d0a5324..26de85168 100644
--- a/src/sat/smt/CMakeLists.txt
+++ b/src/sat/smt/CMakeLists.txt
@@ -55,6 +55,7 @@ z3_add_component(sat_smt
     ast
     euf
     mbp
+    polysat
     smt_params
 )