Skip to content

Commit 00d288c

Browse files
thanhnguyen-awsCarolyn Zech
andauthored
Update doc/src/challenges/0021-str-pattern-pt2.md
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
1 parent 74e044e commit 00d288c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

doc/src/challenges/0021-str-pattern-pt2.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ Verify the safety of `StrSearcher` implementation in `str::pattern`.
1212

1313
## Motivation
1414

15-
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.
15+
String and `str` types are widely used in Rust programs, so it is important that their associated functions do not cause undefined behavior.
1616

1717
## Description
1818

0 commit comments

Comments
 (0)