diff --git a/src/sat/CMakeLists.txt b/src/sat/CMakeLists.txt
index 25af69178f1..b16a1548293 100644
--- a/src/sat/CMakeLists.txt
+++ b/src/sat/CMakeLists.txt
@@ -39,6 +39,7 @@ z3_add_component(sat
     util
     dd
     grobner
+    params
   PYG_FILES
     sat_asymm_branch_params.pyg
     sat_params.pyg