From 79ab8a5a5acf40abb93abeabd705fbff45276493 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 1 Aug 2017 16:16:17 +0100 Subject: [PATCH] Fixed cmake build --- 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 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