tools/spec: add forgotten block comment separator
This commit is contained in:
parent
d98785976e
commit
ad67137abc
@ -588,12 +588,15 @@ def ignore_node(types: Dict[str, Type], root):
|
|||||||
types, root
|
types, root
|
||||||
pass
|
pass
|
||||||
|
|
||||||
|
|
||||||
|
# -----------------------------------------------------------------------------
|
||||||
parse_comment = ignore_node
|
parse_comment = ignore_node
|
||||||
parse_vendorids = ignore_node
|
parse_vendorids = ignore_node
|
||||||
parse_platforms = ignore_node
|
parse_platforms = ignore_node
|
||||||
parse_tags = ignore_node
|
parse_tags = ignore_node
|
||||||
|
|
||||||
|
|
||||||
|
# -----------------------------------------------------------------------------
|
||||||
def parse_types(reg: Registry, root):
|
def parse_types(reg: Registry, root):
|
||||||
assert root.tag == 'types'
|
assert root.tag == 'types'
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user