From 7f84e89703fe53502bd5d9dab1427360a60fc3ef Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Mon, 29 Jul 2024 23:27:28 -0400 Subject: [PATCH] Update tests/expected/function-contract/interior-mutability/api/cell_stub.rs --- .../function-contract/interior-mutability/api/cell_stub.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/expected/function-contract/interior-mutability/api/cell_stub.rs b/tests/expected/function-contract/interior-mutability/api/cell_stub.rs index 9e2b1ff52975..46c5570db9ac 100644 --- a/tests/expected/function-contract/interior-mutability/api/cell_stub.rs +++ b/tests/expected/function-contract/interior-mutability/api/cell_stub.rs @@ -3,7 +3,7 @@ // kani-flags: -Zfunction-contracts /// The objective of this test is to show that the contracts for double can be replaced as a stub within the contracts for quadruple. -/// This shows that we can generate kani::any() for Cell +/// This shows that we can generate `kani::any()` for Cell. use std::cell::Cell; /// This struct is contains Cell which can be mutated