diff options
author | Daniil Baturin <daniil@baturin.org> | 2018-06-05 17:38:19 +0200 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2018-06-05 17:38:19 +0200 |
commit | a02c7c1cf4b0ba7666575648562f99f593306c27 (patch) | |
tree | 942eda076688160426491a4bcfecf674f0e7acd6 | |
parent | a45c2404c964049f41789e7b46049c99c9daf211 (diff) | |
download | libvyosconfig-a02c7c1cf4b0ba7666575648562f99f593306c27.tar.gz libvyosconfig-a02c7c1cf4b0ba7666575648562f99f593306c27.zip |
Allow leaf and tag nodes at the top level, required for piping conf mode "show" output
which produces incomplete configs and thus breaks the "all top level nodes"
are non-leaf non-tag nodes invariant.
-rw-r--r-- | parser/vyos1x_parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parser/vyos1x_parser.mly b/parser/vyos1x_parser.mly index 80ed4df..42efbef 100644 --- a/parser/vyos1x_parser.mly +++ b/parser/vyos1x_parser.mly @@ -96,7 +96,7 @@ tag_node: node_content: n = node { n } | n = leaf_node { n } | n = tag_node { n }; %public config: - | ns = list(node); EOF + | ns = list(node_content); EOF { let root = make "root" in let root = List.fold_left Vytree.adopt root (List.rev ns) |> Vytree.merge_children merge_data in |