diff options
| author | Mukund Lakshman <yaymukund@gmail.com> | 2021-10-04 21:54:00 -0400 |
|---|---|---|
| committer | Mukund Lakshman <yaymukund@gmail.com> | 2021-10-04 22:28:04 -0400 |
| commit | f1425c7c3e62b519354d1a178181a66dad943b4e (patch) | |
| tree | 0543416710a4ece1a1bb6a233ea59ff82d0da890 /src/tools/error_index_generator | |
| parent | 13558ee0a06c544e68978766d0508b62ef3e22f7 (diff) | |
heading_level: u32 -> heading_offset: HeadingOffset
Diffstat (limited to 'src/tools/error_index_generator')
| -rw-r--r-- | src/tools/error_index_generator/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/error_index_generator/main.rs b/src/tools/error_index_generator/main.rs index f89f28242a2..e7969349610 100644 --- a/src/tools/error_index_generator/main.rs +++ b/src/tools/error_index_generator/main.rs @@ -14,7 +14,7 @@ use std::path::PathBuf; use rustc_span::edition::DEFAULT_EDITION; -use rustdoc::html::markdown::{ErrorCodes, IdMap, Markdown, Playground}; +use rustdoc::html::markdown::{ErrorCodes, HeadingOffset, IdMap, Markdown, Playground}; pub struct ErrorMetadata { pub description: Option<String>, @@ -126,7 +126,7 @@ impl Formatter for HTMLFormatter { error_codes: ErrorCodes::Yes, edition: DEFAULT_EDITION, playground: &Some(playground), - heading_level: 1 + heading_offset: HeadingOffset::H2, } .into_string() )? |