diff options
Diffstat (limited to 'dev_tools/src/bin/refresh-examples.rs')
| -rw-r--r-- | dev_tools/src/bin/refresh-examples.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev_tools/src/bin/refresh-examples.rs b/dev_tools/src/bin/refresh-examples.rs index 9fdc7b5..c341bc4 100644 --- a/dev_tools/src/bin/refresh-examples.rs +++ b/dev_tools/src/bin/refresh-examples.rs @@ -61,7 +61,7 @@ impl ExampleContent { // Collect header lines (starting with //!) while let Some(line) = lines.next() { if line.trim_start().starts_with("//!") { - let trimmed = line.trim_start_matches("//!").trim(); + let trimmed = line.trim_start_matches("//!"); header.push_str(trimmed); header.push('\n'); } else { |