From 5e4882d7311087656a270f6ecdfdbe809ddb7eb5 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 0a0457527..05b9ad97d 100644
--- a/.clang-format
+++ b/.clang-format
@@ -50,6 +50,7 @@ SpaceInEmptyParentheses: false
 SpacesInCStyleCastParentheses: false
 SpacesInParentheses: false
 SpacesInSquareBrackets: false
+IndentCaseLabels: false
 
 # Alignment
 AlignConsecutiveAssignments: false