From 5be3c6b4e80c7eea7b590e765cd10ed1f45c8b19 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 17 Dec 2025 09:46:41 -0800
Subject: [PATCH] fix indentation

---
 src/smt/smt_setup.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp
index 98db1ab71..69dec1348 100644
--- a/src/smt/smt_setup.cpp
+++ b/src/smt/smt_setup.cpp
@@ -647,7 +647,7 @@ namespace smt {
                     m_context.register_plugin(alloc(smt::theory_idl, m_context));
                 else
                     m_context.register_plugin(alloc(smt::theory_rdl, m_context));
-    }
+            }
             break;
         case arith_solver_id::AS_DENSE_DIFF_LOGIC:
             m_params.m_arith_eq2ineq  = true;