From cc610128b355d11f4b69f3f693922eaa1d0478f8 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Fri, 8 Dec 2023 14:51:29 -0800 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> --- kani-compiler/src/codegen_cprover_gotoc/context/current_fn.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-compiler/src/codegen_cprover_gotoc/context/current_fn.rs b/kani-compiler/src/codegen_cprover_gotoc/context/current_fn.rs index dde33edcf26f..1f1b8c08f2ff 100644 --- a/kani-compiler/src/codegen_cprover_gotoc/context/current_fn.rs +++ b/kani-compiler/src/codegen_cprover_gotoc/context/current_fn.rs @@ -19,9 +19,9 @@ pub struct CurrentFnCtx<'tcx> { instance: Instance, /// The crate this function is from krate: String, - /// The mir for the current instance. This is using the internal representation. + /// The MIR for the current instance. This is using the internal representation. mir: &'tcx InternalBody<'tcx>, - /// The mir for the current instance. + /// The MIR for the current instance. body: Body, /// The symbol name of the current function name: String,