From 8368094618d11b219e5ee2ee3bd058439ee5f0fb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Mar 2025 21:27:38 -0700
Subject: [PATCH] fix indentation

---
 src/ast/rewriter/bool_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/bool_rewriter.cpp b/src/ast/rewriter/bool_rewriter.cpp
index 1642a6a6d..4dc0f3549 100644
--- a/src/ast/rewriter/bool_rewriter.cpp
+++ b/src/ast/rewriter/bool_rewriter.cpp
@@ -711,7 +711,7 @@ expr_ref bool_rewriter::simplify_eq_ite(expr* value, expr* ite) {
             if (!m_marked.is_marked(t)) 
                 todo.push_back(t);
             if (!m_marked.is_marked(e))
-            todo.push_back(e);
+                todo.push_back(e);
             continue;
         }
         is_disjoint = false;