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 f786c7a..80ed4df 100644 --- a/parser/vyos1x_parser.mly +++ b/parser/vyos1x_parser.mly @@ -35,7 +35,7 @@ (* If there are multiple comments before a node, consider the last one its real comment *) comments: - cs = list(COMMENT) { match cs with [] -> None | _ -> Some (List.rev cs |> List.hd) } + cs = list(COMMENT) { match cs with [] -> None | _ -> Some (List.rev cs |> List.hd |> String.trim) } value: | v = STRING |