Update tests/expected/function-contract/interior-mutability/whole-str…

…uct/oncecell.rs
model-checking · Jul 30, 2024 · dbf938f · dbf938f
1 parent 60b0d8a
commit dbf938f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/expected/function-contract/interior-mutability/whole-struct/oncecell.rs b/tests/expected/function-contract/interior-mutability/whole-struct/oncecell.rs
@@ -5,7 +5,7 @@
 /// The objective of this test is to check the modification of an OnceCell used as interior mutability in an immutable struct
 use std::cell::OnceCell;
 
-/// This struct is contains OnceCell which can be mutated
+/// This struct contains OnceCell which can be mutated
 struct InteriorMutability {
     x: OnceCell<u32>,
 }