From 629b62ef32ab76d6b187ae90f6944ab77eca560e Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Thu, 28 Sep 2023 19:47:36 +0000
Subject: [PATCH] More format...

---
 .../src/codegen_cprover_gotoc/codegen/operand.rs    | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
index 55328ff88a03..a74a46a251a6 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs
@@ -322,7 +322,12 @@ impl<'tcx> GotocCtx<'tcx> {
                                 // There is a single field which we associate with the scalar data.
                                 let field = variant.single_field();
                                 let field_type = field.ty(self.tcx, subst);
-                                self.codegen_single_variant_single_field(s, span, overall_type, field_type)
+                                self.codegen_single_variant_single_field(
+                                    s,
+                                    span,
+                                    overall_type,
+                                    field_type,
+                                )
                             } else {
                                 // There are multiple fields, but only one is related to the scalar data.
                                 // The rest of them correspond to phantom data (ZST).
@@ -338,7 +343,11 @@ 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 {
                             unimplemented!()