From 5d8fcaa3ee3d0d532a322c20f1fa99d9ef0e2bb2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 2 Oct 2025 10:39:37 -0700
Subject: [PATCH] update clang format

---
 .clang-format | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.clang-format b/.clang-format
index 76669e19e..1d7d35dc5 100644
--- a/.clang-format
+++ b/.clang-format
@@ -8,7 +8,7 @@ BasedOnStyle: LLVM
 IndentWidth: 4
 TabWidth: 4
 UseTab: Never
-IndentCaseLabels: false
+
 
 # Column width
 ColumnLimit: 120
@@ -36,6 +36,7 @@ BraceWrapping:
    AfterNamespace: false
    AfterStruct: false
    BeforeElse : true
+   AfterCaseLabel: false
 # Spacing
 SpaceAfterCStyleCast: false
 SpaceAfterLogicalNot: false
@@ -65,6 +66,11 @@ SortIncludes: false  # Z3 has specific include ordering conventions
 # Namespaces
 NamespaceIndentation: All
 
+# Switch statements
+IndentCaseLabels: false
+AllowShortCaseLabelsOnASingleLine: true
+IndentCaseBlocks: false
+
 # Comments and documentation
 ReflowComments: true
 SpacesBeforeTrailingComments: 2