Format, once again

model-checking · Sep 29, 2023 · 555463a · 555463a
1 parent 00405a9
commit 555463a
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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);