summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2018-06-05 17:38:19 +0200
committerDaniil Baturin <daniil@baturin.org>2018-06-05 17:38:19 +0200
commita02c7c1cf4b0ba7666575648562f99f593306c27 (patch)
tree942eda076688160426491a4bcfecf674f0e7acd6
parenta45c2404c964049f41789e7b46049c99c9daf211 (diff)
downloadlibvyosconfig-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.mly2
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