From 6cb2c8f1c67532f1f3a23e75b80984d40ed160d2 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Tue, 10 Jan 2017 03:41:41 +0700 Subject: De-duplicate top level nodes during parsing too. --- src/curly_parser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/curly_parser.mly b/src/curly_parser.mly index df377b9..58c6067 100644 --- a/src/curly_parser.mly +++ b/src/curly_parser.mly @@ -61,6 +61,6 @@ node_content: n = node { n } | n = leaf_node { n } | n = tag_node { n }; %public config: ns = list(node); EOF { - let root = make "root" in List.fold_left Vytree.adopt root (List.rev ns) + let root = make "root" in List.fold_left Vytree.adopt root (List.rev ns) |> Vytree.merge_children } ; -- cgit v1.2.3