mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

Fixed filename in CMakeLists.txt

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2018-10-01 12:29:14 +01:00
parent f0e74b7f2a
commit 35bf63d563
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

@ -2,7 +2,7 @@ z3_add_component(lp
SOURCES SOURCES
binary_heap_priority_queue.cpp binary_heap_priority_queue.cpp
binary_heap_upair_queue.cpp binary_heap_upair_queue.cpp
bound_propagator.cpp lp_bound_propagator.cpp
core_solver_pretty_printer.cpp core_solver_pretty_printer.cpp
dense_matrix.cpp dense_matrix.cpp
eta_matrix.cpp eta_matrix.cpp