mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
dependency
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
eb13ad14e5
commit
bf692a5076
|
@ -77,6 +77,7 @@ z3_add_component(smt
|
|||
uses_theory.cpp
|
||||
watch_list.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
solver_assertions
|
||||
bit_blaster
|
||||
cmd_context
|
||||
fpa
|
||||
|
|
Loading…
Reference in a new issue