From c043c325bced07c9a351b225372e80b9e9f27184 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Oct 2025 18:11:20 +0200
Subject: [PATCH] Remove type variable collection logic from constructors

Removed the logic for collecting type variables from field sorts based on constructors.
---
 src/api/api_datatype.cpp | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/src/api/api_datatype.cpp b/src/api/api_datatype.cpp
index 5b199f469..c474bea37 100644
--- a/src/api/api_datatype.cpp
+++ b/src/api/api_datatype.cpp
@@ -323,21 +323,6 @@ extern "C" {
                 params.push_back(to_sort(parameters[i]));
             }
         }
-        else {
-            // Otherwise, collect type variables from field sorts in order of first appearance
-            obj_hashtable<sort> seen;
-            for (unsigned i = 0; i < num_constructors; ++i) {
-                constructor* cn = reinterpret_cast<constructor*>(constructors[i]);
-                for (unsigned j = 0; j < cn->m_sorts.size(); ++j) {
-                    if (cn->m_sorts[j].get() && m.is_type_var(cn->m_sorts[j].get())) {
-                        if (!seen.contains(cn->m_sorts[j].get())) {
-                            params.push_back(cn->m_sorts[j].get());
-                            seen.insert(cn->m_sorts[j].get());
-                        }
-                    }
-                }
-            }
-        }
         
         ptr_vector<constructor_decl> constrs;
         for (unsigned i = 0; i < num_constructors; ++i) {