diff options
| author | Mukund Lakshman <yaymukund@gmail.com> | 2021-10-04 21:28:26 -0400 |
|---|---|---|
| committer | Mukund Lakshman <yaymukund@gmail.com> | 2021-10-04 22:28:04 -0400 |
| commit | 13558ee0a06c544e68978766d0508b62ef3e22f7 (patch) | |
| tree | 135279ede7679347f2631800d2dc1c9612b017e7 /src/tools/error_index_generator | |
| parent | 6518a0a8b9570b6d347a3c7b2c9b95e66cbbd013 (diff) | |
No need to default offset since we always override it.
Diffstat (limited to 'src/tools/error_index_generator')
| -rw-r--r-- | src/tools/error_index_generator/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/error_index_generator/main.rs b/src/tools/error_index_generator/main.rs index f3c5d65935f..f89f28242a2 100644 --- a/src/tools/error_index_generator/main.rs +++ b/src/tools/error_index_generator/main.rs @@ -126,7 +126,7 @@ impl Formatter for HTMLFormatter { error_codes: ErrorCodes::Yes, edition: DEFAULT_EDITION, playground: &Some(playground), - heading_level: 0 + heading_level: 1 } .into_string() )? |