diff --git a/src/sat/smt/CMakeLists.txt b/src/sat/smt/CMakeLists.txt
index 182d01249..1ed9c05ca 100644
--- a/src/sat/smt/CMakeLists.txt
+++ b/src/sat/smt/CMakeLists.txt
@@ -57,6 +57,7 @@ z3_add_component(sat_smt
     ast
     euf
     mbp
+    polysat
     smt_params
 )