From f6b242e58147a42c1d1a992b3a15229daa07a9e1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 10:46:58 -0700
Subject: [PATCH] update cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/CMakeLists.txt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
index a7d5e08ed..b78217cde 100644
--- 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