diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp
index 4ed908466..a27bc99f2 100644
--- a/src/smt/smt_setup.cpp
+++ b/src/smt/smt_setup.cpp
@@ -646,7 +646,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;