From 52343035f3e99b426835a47fd2398013499c65bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Oct 2025 17:15:14 +0200
Subject: [PATCH] Simplify range assignment in finite_set_decl_plugin

---
 src/ast/finite_set_decl_plugin.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/ast/finite_set_decl_plugin.cpp b/src/ast/finite_set_decl_plugin.cpp
index e5b9ee61b..3a3a96bce 100644
--- a/src/ast/finite_set_decl_plugin.cpp
+++ b/src/ast/finite_set_decl_plugin.cpp
@@ -139,9 +139,7 @@ func_decl * finite_set_decl_plugin::mk_func_decl(decl_kind k, unsigned num_param
                 m_manager->raise_exception("set.empty requires one sort parameter");
                 return nullptr;
             }
-            sort* element_sort = to_sort(parameters[0].get_ast());
-            parameter param(element_sort);
-            range = m_manager->mk_sort(m_family_id, FINITE_SET_SORT, 1, &param);
+            range = to_sort(parameters[0].get_ast());
         }        
         return mk_empty(range);
     case OP_FINITE_SET_SINGLETON: