diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
index b78217cde..b8f4763a1 100644
--- a/src/ast/rewriter/CMakeLists.txt
+++ b/src/ast/rewriter/CMakeLists.txt
@@ -38,6 +38,7 @@ z3_add_component(rewriter
     mk_extract_proc.cpp
   COMPONENT_DEPENDENCIES
     ast
+    params
     automata
     polynomial
   PYG_FILES