diff --git a/src/ast/simplifiers/CMakeLists.txt b/src/ast/simplifiers/CMakeLists.txt
index 2affb793b..d947011ae 100644
--- a/src/ast/simplifiers/CMakeLists.txt
+++ b/src/ast/simplifiers/CMakeLists.txt
@@ -36,6 +36,7 @@ z3_add_component(simplifiers
     elim_term_ite.h
     pull_nested_quantifiers.h
     push_ite.h
+    randomizer.h
     refine_inj_axiom.h
     rewriter_simplifier.h
 )