From 1b48ec27e0b0300f0af4109ca5bf3b6bbe06eff9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Sep 2025 15:42:01 -0700
Subject: [PATCH] update format

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .clang-format | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.clang-format b/.clang-format
index 3f39c1a9b..7efafa03a 100644
--- a/.clang-format
+++ b/.clang-format
@@ -8,6 +8,7 @@ BasedOnStyle: LLVM
 IndentWidth: 4
 TabWidth: 4
 UseTab: Never
+IndentCaseLabels: false
 
 
 
@@ -41,7 +42,7 @@ BraceWrapping:
    AfterStruct: false
    BeforeElse : true
    AfterCaseLabel: false
-# Spacing
+
 SpaceAfterCStyleCast: false
 SpaceAfterLogicalNot: false
 SpaceBeforeParens: ControlStatements
@@ -49,7 +50,6 @@ SpaceInEmptyParentheses: false
 SpacesInCStyleCastParentheses: false
 SpacesInParentheses: false
 SpacesInSquareBrackets: false
-IndentCaseLabels: false
 
 # Alignment
 AlignConsecutiveAssignments: false