mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
add depend
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f6b242e581
commit
7c592d4543
|
@ -38,6 +38,7 @@ z3_add_component(rewriter
|
|||
mk_extract_proc.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
ast
|
||||
params
|
||||
automata
|
||||
polynomial
|
||||
PYG_FILES
|
||||
|
|
Loading…
Reference in a new issue