From 35bf63d563b682d794067c66f018a0fb06bf7ce2 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 1 Oct 2018 12:29:14 +0100
Subject: [PATCH] Fixed filename in CMakeLists.txt

---
 src/util/lp/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/lp/CMakeLists.txt b/src/util/lp/CMakeLists.txt
index 539c68712..edb73fdab 100644
--- a/src/util/lp/CMakeLists.txt
+++ b/src/util/lp/CMakeLists.txt
@@ -2,7 +2,7 @@ z3_add_component(lp
   SOURCES
     binary_heap_priority_queue.cpp
     binary_heap_upair_queue.cpp
-    bound_propagator.cpp
+    lp_bound_propagator.cpp
     core_solver_pretty_printer.cpp
     dense_matrix.cpp
     eta_matrix.cpp