From c32b213a200cbd97f66abad7b3eb44a7d77536d2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 27 Oct 2025 10:37:19 +0100
Subject: [PATCH] add finite sets to datatype recursion, delay initialize
 finite_set plugin, fix bugs in are_distinct and equality simplification

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_finite_set_size.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/theory_finite_set_size.cpp b/src/smt/theory_finite_set_size.cpp
index 0eb27edf2..a7a4363bc 100644
--- a/src/smt/theory_finite_set_size.cpp
+++ b/src/smt/theory_finite_set_size.cpp
@@ -470,6 +470,7 @@ namespace smt {
         }
     }
 
+
     std::ostream& theory_finite_set_size::display(std::ostream& out) const {
         if (m_solver)
             m_solver->display(out << "set.size-solver\n");