Formatting

tautschnig · Apr 10, 2024 · 7e5b381 · 7e5b381
1 parent 822f007
commit 7e5b381
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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();