From 7c592d4543303456d0056d4acc67de07cba0369a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 29 Aug 2020 10:48:05 -0700
Subject: [PATCH] add depend

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

diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
index b78217cde..b8f4763a1 100644
--- a/src/ast/rewriter/CMakeLists.txt
+++ b/src/ast/rewriter/CMakeLists.txt
@@ -38,6 +38,7 @@ z3_add_component(rewriter
     mk_extract_proc.cpp
   COMPONENT_DEPENDENCIES
     ast
+    params
     automata
     polynomial
   PYG_FILES