diff options
| -rw-r--r-- | parser/vyos1x_parser.mly | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/parser/vyos1x_parser.mly b/parser/vyos1x_parser.mly index 80ed4df..17f4909 100644 --- a/parser/vyos1x_parser.mly +++ b/parser/vyos1x_parser.mly @@ -95,8 +95,9 @@ 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 |