diff options
Diffstat (limited to 'src/vyos1x_parser.mly')
-rw-r--r-- | src/vyos1x_parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vyos1x_parser.mly b/src/vyos1x_parser.mly index 8b2d7d8..d3ae5dc 100644 --- a/src/vyos1x_parser.mly +++ b/src/vyos1x_parser.mly @@ -49,10 +49,10 @@ value: leaf_node_body: | comment = comments; name = IDENTIFIER; value = value; - { Vytree.make_full {default_data with values=[value]; comment=comment} name []} + { Vytree.make_full {default_data with values=[value]; comment=comment; leaf=true} name []} | comment = comments; name = IDENTIFIER; (* valueless node *) - { Vytree.make_full {default_data with comment=comment} name [] } + { Vytree.make_full {default_data with comment=comment; leaf=true} name [] } ; leaf_node: |