From 7e5b38131be016afdc181856d6848f897f912705 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 10 Apr 2024 09:23:36 +0000
Subject: [PATCH] Formatting

---
 kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs
index d35810fd11ff..a16dd616e7c0 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/place.rs
@@ -644,9 +644,7 @@ impl<'tcx> GotocCtx<'tcx> {
         if self.use_thin_pointer_stable(place_ty) {
             // For ZST objects rustc does not necessarily generate individual objects.
             let need_not_be_unique = match projection.goto_expr.value() {
-                ExprValue::Symbol { .. } => {
-                    self.is_zst_stable(place_ty)
-                }
+                ExprValue::Symbol { .. } => self.is_zst_stable(place_ty),
                 _ => false,
             };
             let address_of = projection.goto_expr.address_of();