fix single-char-push-str clippy warning

2020-12-10 19:05:05 +01:00 · 2020-12-10 19:05:05 +01:00 · d49a641e76
parent 2228fa6114
commit d49a641e76
1 changed files with 1 additions and 1 deletions
--- a/ofborg/build.rs
+++ b/ofborg/build.rs
@ -557,7 +557,7 @@ impl MetricCollector {
        }})
        .collect();
      output.push_str(&values.join(\"\n\"));
-      output.push_str(\"\n\");
+      output.push('\\n');
 ",
                &mtype.metric_name(),
                &mtype.description(),