From 555463a2499ab9782128ffc8b83bcd406c0549c5 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Fri, 29 Sep 2023 15:56:05 +0000 Subject: [PATCH] Format, once again --- kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs index f1b48807880e..45ce90880fd6 100644 --- a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs +++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs @@ -328,11 +328,7 @@ impl<'tcx> GotocCtx<'tcx> { } }) .collect(); - Expr::struct_expr_from_values( - overall_type, - field_values, - &self.symbol_table, - ) + Expr::struct_expr_from_values(overall_type, field_values, &self.symbol_table) } else if adt.is_enum() { let layout = self.layout_of(ty); let overall_t = self.codegen_ty(ty);