From 71432f2eda8c33f761337aa95d4b98d02f2dcd79 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Thu, 1 Sep 2022 14:57:42 -0500 Subject: Revert "Merge pull request #11 from jestabro/tag-node-name-whitespace" This reverts commit 97d11bf2bda65c7001ad687fd088a896161fdb0d, reversing changes made to 40f7d2af65a2358bb37661121f1752abf4f099fc. --- src/config_tree.ml | 4 +--- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3