mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
updating CMakeLists file, hope it works :-)
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
6ad6998c57
commit
843e95cddc
|
@ -18,6 +18,7 @@ z3_add_component(core_tactics
|
|||
split_clause_tactic.cpp
|
||||
symmetry_reduce_tactic.cpp
|
||||
tseitin_cnf_tactic.cpp
|
||||
collect_occs.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
normal_forms
|
||||
tactic
|
||||
|
|
Loading…
Reference in a new issue