diff --git a/src/math/polysat/CMakeLists.txt b/src/math/polysat/CMakeLists.txt
index 0759b462f..00eaa2745 100644
--- a/src/math/polysat/CMakeLists.txt
+++ b/src/math/polysat/CMakeLists.txt
@@ -8,6 +8,7 @@ z3_add_component(polysat
     constraint.cpp
     constraint_manager.cpp
     eq_explain.cpp
+    fixed_bits.cpp
     forbidden_intervals.cpp
     inference_logger.cpp
     justification.cpp