From e3ef97e24dec0ca0f40570f1c30b105c1a4d624f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 24 Sep 2025 11:01:24 +0300
Subject: [PATCH] propagate value initialization to atoms

---
 .clang-format | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.clang-format b/.clang-format
index 174cf507e..3f39c1a9b 100644
--- a/.clang-format
+++ b/.clang-format
@@ -49,6 +49,7 @@ SpaceInEmptyParentheses: false
 SpacesInCStyleCastParentheses: false
 SpacesInParentheses: false
 SpacesInSquareBrackets: false
+IndentCaseLabels: false
 
 # Alignment
 AlignConsecutiveAssignments: false