Update tests/expected/function-contract/interior-mutability/api/cell_…

…stub.rs
model-checking · Jul 30, 2024 · 7f84e89 · 7f84e89
1 parent 5feba8c
commit 7f84e89
Showing 1 changed file with 1 addition and 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
@@ -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