diff --git a/src/util/lp/CMakeLists.txt b/src/util/lp/CMakeLists.txt
index 57ebecc8d..ca8683434 100644
--- a/src/util/lp/CMakeLists.txt
+++ b/src/util/lp/CMakeLists.txt
@@ -3,7 +3,7 @@ z3_add_component(lp
     lp_utils.cpp
     binary_heap_priority_queue_instances.cpp
     binary_heap_upair_queue_instances.cpp
-    bound_propagator.cpp
+    lp_bound_propagator.cpp
     core_solver_pretty_printer_instances.cpp
     dense_matrix_instances.cpp
     eta_matrix_instances.cpp