diff --git a/src/ast/sls/CMakeLists.txt b/src/ast/sls/CMakeLists.txt
index d1c2968ba..bfe8175e0 100644
--- a/src/ast/sls/CMakeLists.txt
+++ b/src/ast/sls/CMakeLists.txt
@@ -26,4 +26,5 @@ z3_add_component(ast_sls
     euf
     converters
     normal_forms
+    smt_params
 )