From 779892c166cfab0b4818b1ddc0d81ebeb5e012e7 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Sat, 2 May 2026 21:01:26 +0000
Subject: [PATCH] fix whitespace inconsistencies in qfnia_tactic.cpp

Remove trailing space after mk_propagate_values_tactic and replace
tab-based indentation with spaces for mk_card2bv_tactic, introduced
in the recent 'add solve-eqs to the qfnia tactic' commit.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 src/tactic/smtlogics/qfnia_tactic.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tactic/smtlogics/qfnia_tactic.cpp b/src/tactic/smtlogics/qfnia_tactic.cpp
index d17167f75..f8399861e 100644
--- a/src/tactic/smtlogics/qfnia_tactic.cpp
+++ b/src/tactic/smtlogics/qfnia_tactic.cpp
@@ -81,13 +81,13 @@ static tactic * mk_qfnia_preamble(ast_manager & m, params_ref const & p_ref) {
 
     return
         and_then(mk_simplify_tactic(m),
-                 mk_propagate_values_tactic(m), 
+                 mk_propagate_values_tactic(m),
                  mk_solve_eqs_tactic(m),
                  using_params(mk_ctx_simplify_tactic(m), ctx_simp_p),
                  using_params(mk_simplify_tactic(m), pull_ite_p),
                  mk_elim_uncnstr_tactic(m),
                  using_params(mk_lia2card_tactic(m, lia2card_p), lia2card_p),
-			     mk_card2bv_tactic(m, p_ref),
+                 mk_card2bv_tactic(m, p_ref),
                  skip_if_failed(using_params(mk_cofactor_term_ite_tactic(m), elim_p)));
 }