mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
update cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
455d53ef27
commit
f6b242e581
|
@ -41,10 +41,8 @@ z3_add_component(rewriter
|
|||
automata
|
||||
polynomial
|
||||
PYG_FILES
|
||||
arith_rewriter_params.pyg
|
||||
array_rewriter_params.pyg
|
||||
bool_rewriter_params.pyg
|
||||
bv_rewriter_params.pyg
|
||||
fpa_rewriter_params.pyg
|
||||
poly_rewriter_params.pyg
|
||||
rewriter_params.pyg
|
||||
|
|
Loading…
Reference in a new issue