diff options
| author | Steve Klabnik <steve@steveklabnik.com> | 2014-12-10 15:12:16 -0500 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2014-12-10 15:14:18 -0500 |
| commit | 3c9d8983bee2f8db20948e8a9fcd7172bba9b3e7 (patch) | |
| tree | 0b437cc437acc7b0e9b7968bd4d4aa79513d8959 /src/doc/guide-error-handling.md | |
| parent | bc486dc233b23f79d5f144cbbbd67cde208c14b6 (diff) | |
| download | rust-3c9d8983bee2f8db20948e8a9fcd7172bba9b3e7.tar.gz rust-3c9d8983bee2f8db20948e8a9fcd7172bba9b3e7.zip | |
Fix up some {ignore} and {notrust}s
These should be properly annotated instead. Fixes #16219.
Diffstat (limited to 'src/doc/guide-error-handling.md')
| -rw-r--r-- | src/doc/guide-error-handling.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/guide-error-handling.md b/src/doc/guide-error-handling.md index 71ca8913ab3..d833827981e 100644 --- a/src/doc/guide-error-handling.md +++ b/src/doc/guide-error-handling.md @@ -76,7 +76,7 @@ fn main() { This will give us an error: -```{notrust} +```text error: non-exhaustive patterns: `_` not covered [E0004] ``` @@ -189,7 +189,7 @@ panic!("boom"); gives -```{notrust} +```text task '<main>' panicked at 'boom', hello.rs:2 ``` |
