diff options
Diffstat (limited to 'parser/vyos1x_parser.mly')
| -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 |