From 05b086a782eeee8c2b0566660d942ec0909da6fb Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Wed, 6 Jun 2018 03:16:49 +0700
Subject: Use String.concat instead of reinventing it with fold.

---
 src/config_tree.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/config_tree.ml')

diff --git a/src/config_tree.ml b/src/config_tree.ml
index 9b630d9..ef16ac9 100644
--- a/src/config_tree.ml
+++ b/src/config_tree.ml
@@ -329,7 +329,7 @@ let render_at_level
     in
     let children = Vytree.children_of_node node in
     let child_configs = List.map (render ~indent:indent ~reftree:reftree  ~cmp:cmp ~showephemeral:showephemeral ~showinactive:showinactive) children in
-    List.fold_left (Printf.sprintf "%s\n%s") "" child_configs
+    String.concat "\n" child_configs
 
 let render_commands ?(reftree=None) ?(alwayssort=false) ?(sortchildren=false) node path =
     let node =
-- 
cgit v1.2.3