update cmake

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 29, 2020 · f6b242e · f6b242e
1 parent 455d53e
commit f6b242e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
@@ -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