From 172839f6e0b475c7e5ca43f643cd8702f5ce5079 Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Mon, 29 Jul 2024 23:28:32 -0400 Subject: [PATCH] Update tests/expected/function-contract/interior-mutability/whole-struct/unsafecell.rs --- .../interior-mutability/whole-struct/unsafecell.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/expected/function-contract/interior-mutability/whole-struct/unsafecell.rs b/tests/expected/function-contract/interior-mutability/whole-struct/unsafecell.rs index e93d8527c306..6adb7b12c8b1 100644 --- a/tests/expected/function-contract/interior-mutability/whole-struct/unsafecell.rs +++ b/tests/expected/function-contract/interior-mutability/whole-struct/unsafecell.rs @@ -13,7 +13,7 @@ struct InteriorMutability { #[kani::requires(unsafe{*im.x.get()} < 100)] #[kani::modifies(im.x.get())] #[kani::ensures(|_| unsafe{*im.x.get()} < 101)] -///im is an immutable reference with interior mutability +/// `im` is an immutable reference with interior mutability fn modify(im: &InteriorMutability) { unsafe { *im.x.get() += 1 } }