Skip to content

Commit 8d98b12

Browse files
thanhnguyen-awsCarolyn Zech
andauthored
Update doc/src/challenges/0022-str-iter.md
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
1 parent a24cc0f commit 8d98b12

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

doc/src/challenges/0022-str-iter.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,7 @@ Verify the safety of [`std::str`] functions that are defined in (library/core/sr
1515

1616
## Motivation
1717

18-
String and str types are widely used in Rust programs. Verifying Rust String and str functions in Rust standard library is important in ensuring the safety of these programs.
19-
18+
String and `str` types are widely used in Rust programs, so it is important that their associated functions do not cause undefined behavior.
2019
## Description
2120

2221
**Important note:** for this challenge, you can assume:

0 commit comments

Comments
 (0)