From 638e7b7bcecdcd0eba1f058d1c794bfa474eb801 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 13 Jul 2026 03:00:50 +0000
Subject: [PATCH] fix: simplify type variable collection condition in
 decl_collector::visit_sort

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

diff --git a/src/ast/decl_collector.cpp b/src/ast/decl_collector.cpp
index 9beb48ea7e..c08c1cf751 100644
--- a/src/ast/decl_collector.cpp
+++ b/src/ast/decl_collector.cpp
@@ -24,9 +24,7 @@ Revision History:
 void decl_collector::visit_sort(sort * n) {
     SASSERT(!m_visited.is_marked(n));
     family_id fid = n->get_family_id();
-    if (m.is_uninterp(n))
-        m_sorts.push_back(n);
-    else if (fid == poly_family_id)
+    if (m.is_uninterp(n) || fid == poly_family_id)
         m_sorts.push_back(n);
     else if (fid == m_dt_fid) {
         m_sorts.push_back(n);