From d4f2de734b7b66a050b4ae9fc01ad9b40eda08c7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 25 Jan 2025 22:38:32 -0800
Subject: [PATCH] add smt_params dependency to sls in cmakelists

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

diff --git a/src/ast/sls/CMakeLists.txt b/src/ast/sls/CMakeLists.txt
index d1c2968ba..bfe8175e0 100644
--- a/src/ast/sls/CMakeLists.txt
+++ b/src/ast/sls/CMakeLists.txt
@@ -26,4 +26,5 @@ z3_add_component(ast_sls
     euf
     converters
     normal_forms
+    smt_params
 )