diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/config_tree.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml index 2d3fe30..8c95b1f 100644 --- a/src/config_tree.ml +++ b/src/config_tree.ml @@ -211,9 +211,7 @@ struct never themselves tag nodes *) let inner = List.map (render_node indent (level + 1)) children in let inner = String.concat "" inner in - if String.contains name ' ' then - Printf.sprintf "%s%s%s \"%s\" {\n%s%s}\n" comment indent_str parent name inner indent_str - else Printf.sprintf "%s%s%s %s {\n%s%s}\n" comment indent_str parent name inner indent_str + Printf.sprintf "%s%s%s %s {\n%s%s}\n" comment indent_str parent name inner indent_str let render_config node = let children = Vytree.children_of_node node in |