diff options
author | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:40:15 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 11:40:15 +0800 |
commit | f257f471f49bf13adf56868d8f8609309c7e100b (patch) | |
tree | 90886478989ffce993fadcb4d1cbfaceb87235ef /chain/src/item | |
parent | d31961c3ef5341413efb8681302ebd666dbcc4a5 (diff) |
grammar/label: `set_end_option`
* grammar/src/label.rs (set_end_option): This function replaces the
old function `open_end`, as this new function is more general than
the old one, and there is no specific situation where we only need
to open the end of a node without the need to close the node in an
`if` statement.
Diffstat (limited to 'chain/src/item')
0 files changed, 0 insertions, 0 deletions