From d88ed36e42b1a744d71b5707f3521bca232eefb8 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 6 May 2018 15:23:32 +0200
Subject: pnodes: do not allow redeclaration.

---
 src/xtools/pnodes.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/xtools/pnodes.py b/src/xtools/pnodes.py
index be43ea9bf..bc31114ea 100755
--- a/src/xtools/pnodes.py
+++ b/src/xtools/pnodes.py
@@ -403,6 +403,9 @@ def read_nodes(filename, kinds, kinds_ranges, fields, funcs):
                     raise ParseError(lr, 'unknown node')
                 fmt = m.group(2)
                 names.append((name, fmt))
+                if name in nodes:
+                    raise ParseError(
+                        lr, 'node {} already described'.format(name));
                 # There might be several nodes described at once.
                 l = lr.get()
                 m = pat_decl.match(l)
-- 
cgit v1.2.3