From ad67137abc35bf66906d6de6759abfe3980e830f Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Sat, 5 Jan 2019 15:17:41 +1100
Subject: [PATCH] tools/spec: add forgotten block comment separator

---
 tools/spec.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/spec.py b/tools/spec.py
index 99d9486..de0028d 100644
--- a/tools/spec.py
+++ b/tools/spec.py
@@ -588,12 +588,15 @@ def ignore_node(types: Dict[str, Type], root):
     types, root
     pass
 
+
+# -----------------------------------------------------------------------------
 parse_comment = ignore_node
 parse_vendorids = ignore_node
 parse_platforms = ignore_node
 parse_tags = ignore_node
 
 
+# -----------------------------------------------------------------------------
 def parse_types(reg: Registry, root):
     assert root.tag == 'types'