From 594fe4b1ae92c3fa1ba1a761a6f1235c20119da0 Mon Sep 17 00:00:00 2001 From: Pierre Hubert Date: Tue, 7 Feb 2023 15:41:59 +0100 Subject: [PATCH] Remove useless line breaks --- src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.rs b/src/main.rs index 06053b0..c86ef01 100644 --- a/src/main.rs +++ b/src/main.rs @@ -110,7 +110,7 @@ fn graphviz_export(tree: &TreeNode) -> String { fn tex_escape_str(s: &str) -> String { s.replace('_', "\\_") - .trim_start_matches('\n') + .trim_matches('\n') .replace("\n\n", "\n") .replace('\n', "\\newline\n") }