mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-08 04:01:22 +00:00
Code Activity

Fixed cmake build

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2017-08-01 16:16:17 +01:00
parent e315d063c5
commit 79ab8a5a5a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/lp/CMakeLists.txt
View file

@ -3,7 +3,7 @@ z3_add_component(lp
lp_utils.cpp lp_utils.cpp
binary_heap_priority_queue_instances.cpp binary_heap_priority_queue_instances.cpp
binary_heap_upair_queue_instances.cpp binary_heap_upair_queue_instances.cpp
bound_propagator.cpp lp_bound_propagator.cpp
core_solver_pretty_printer_instances.cpp core_solver_pretty_printer_instances.cpp
dense_matrix_instances.cpp dense_matrix_instances.cpp
eta_matrix_instances.cpp eta_matrix_instances.cpp