diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0274f28a6..9cb25ed98 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -58,21 +58,21 @@ add_subdirectory(math/lp)
 add_subdirectory(tactic/core)
 add_subdirectory(math/subpaving/tactic)
 add_subdirectory(tactic/aig)
-add_subdirectory(solver)
-add_subdirectory(sat/smt)
-add_subdirectory(sat/tactic)
 add_subdirectory(tactic/arith)
-add_subdirectory(nlsat/tactic)
-add_subdirectory(ackermannization)
+add_subdirectory(solver)
 add_subdirectory(cmd_context)
 add_subdirectory(cmd_context/extra_cmds)
 add_subdirectory(parsers/smt2)
-add_subdirectory(ast/proofs)
-add_subdirectory(ast/fpa)
 add_subdirectory(ast/macros)
 add_subdirectory(ast/pattern)
 add_subdirectory(ast/rewriter/bit_blaster)
 add_subdirectory(smt/params)
+add_subdirectory(sat/smt)
+add_subdirectory(sat/tactic)
+add_subdirectory(nlsat/tactic)
+add_subdirectory(ackermannization)
+add_subdirectory(ast/proofs)
+add_subdirectory(ast/fpa)
 add_subdirectory(smt/proto_model)
 add_subdirectory(smt)
 add_subdirectory(tactic/bv)
diff --git a/src/sat/smt/CMakeLists.txt b/src/sat/smt/CMakeLists.txt
index e90730620..5e238b68c 100644
--- a/src/sat/smt/CMakeLists.txt
+++ b/src/sat/smt/CMakeLists.txt
@@ -11,5 +11,6 @@ z3_add_component(sat_smt
     sat
     ast
     euf
+    smt_params
 )