From 8e64ac9f420a711aa57d6a20e700a2f31105ec80 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 8 Aug 2026 20:41:52 +0000 Subject: [PATCH] Fix imported indentation Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/ast/for_each_ast.h | 3 +-- src/util/ext_numeral.h | 13 ++++++------- 2 files changed, 7 insertions(+), 9 deletions(-) diff --git a/src/ast/for_each_ast.h b/src/ast/for_each_ast.h index 82f365bbfd..2251ee907b 100644 --- a/src/ast/for_each_ast.h +++ b/src/ast/for_each_ast.h @@ -30,7 +30,7 @@ bool for_each_ast_args(ptr_vector & stack, ast_mark & visited, unsigned num if (!visited.is_marked(arg)) { stack.push_back(arg); result = false; - } + } } return result; } @@ -265,4 +265,3 @@ private: } }; - diff --git a/src/util/ext_numeral.h b/src/util/ext_numeral.h index 925d05baa3..28221a54a2 100644 --- a/src/util/ext_numeral.h +++ b/src/util/ext_numeral.h @@ -282,15 +282,15 @@ bool lt(numeral_manager & m, case EN_PLUS_INFINITY: return true; - // The default case below is not necessary: the cases above cover all the - // elements of the ext_numeral_kind enum. But gcc complains with a warning - // if this default case is absent. So we leave it in, but disable Clang's - // (correct) warning that the default is unnecessary. - START_DISABLE_COVERED_SWITCH_DEFAULT; + // The default case below is not necessary: the cases above cover all the + // elements of the ext_numeral_kind enum. But gcc complains with a warning + // if this default case is absent. So we leave it in, but disable Clang's + // (correct) warning that the default is unnecessary. + START_DISABLE_COVERED_SWITCH_DEFAULT; default: UNREACHABLE(); return false; - END_DISABLE_WARNING_STMT; + END_DISABLE_WARNING_STMT; } case EN_PLUS_INFINITY: return false; @@ -347,4 +347,3 @@ void display_pp(std::ostream & out, case EN_PLUS_INFINITY: out << "+∞"; break; } } -