Apply suggestions from code review

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
model-checking · Dec 8, 2023 · cc61012 · cc61012
1 parent 0212b57
commit cc61012
Showing 1 changed file with 2 additions and 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
@@ -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,