Skip to content

Commit 74e044e

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

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

doc/src/challenges/0020-str-pattern-pt1.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ Verify the safety of char-related `Searcher` methods 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)