diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-06-06 03:16:49 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-06-06 03:16:49 +0700 |
| commit | 05b086a782eeee8c2b0566660d942ec0909da6fb (patch) | |
| tree | 9a38836ff2751e524373b81604ddfa5f6bb04202 /src | |
| parent | 335560d2c0420a363942d3368dec0b04dd8bf62b (diff) | |
| download | vyconf-05b086a782eeee8c2b0566660d942ec0909da6fb.tar.gz vyconf-05b086a782eeee8c2b0566660d942ec0909da6fb.zip | |
Use String.concat instead of reinventing it with fold.
Diffstat (limited to 'src')
| -rw-r--r-- | src/config_tree.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |