From 670df87460ba69c7cc1e4caae4e04bc2880b3736 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.clang-format b/.clang-format
index f24a84b0d..7c35198ae 100644
--- a/.clang-format
+++ b/.clang-format
@@ -8,7 +8,7 @@ BasedOnStyle: LLVM
 IndentWidth: 4
 TabWidth: 4
 UseTab: Never
-IndentCaseLabels: false
+
 
 
 # Column width