diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:41:41 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-10 03:41:41 +0700 |
| commit | 6cb2c8f1c67532f1f3a23e75b80984d40ed160d2 (patch) | |
| tree | 6a6f3d9ea972bce87fff0e38f8a8188385efdbbb /src | |
| parent | 0a3d779e27e854bcee00c33139e27c4beac41e60 (diff) | |
| download | vyconf-6cb2c8f1c67532f1f3a23e75b80984d40ed160d2.tar.gz vyconf-6cb2c8f1c67532f1f3a23e75b80984d40ed160d2.zip | |
De-duplicate top level nodes during parsing too.
Diffstat (limited to 'src')
| -rw-r--r-- | src/curly_parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
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 } ; |