mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
add smt_params dependency to sls in cmakelists
This commit is contained in:
parent
12e8082d86
commit
d4f2de734b
|
@ -26,4 +26,5 @@ z3_add_component(ast_sls
|
|||
euf
|
||||
converters
|
||||
normal_forms
|
||||
smt_params
|
||||
)
|
||||
|
|
Loading…
Reference in a new issue