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);