From f0eee41ab987c8b34b03687a87a2bcaa365c8373 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 25 Aug 2022 09:09:04 -0700
Subject: [PATCH] include depenency

---
 src/sat/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/CMakeLists.txt b/src/sat/CMakeLists.txt
index 25af69178..b16a15482 100644
--- a/src/sat/CMakeLists.txt
+++ b/src/sat/CMakeLists.txt
@@ -39,6 +39,7 @@ z3_add_component(sat
     util
     dd
     grobner
+    params
   PYG_FILES
     sat_asymm_branch_params.pyg
     sat_params.pyg