diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/xtools/pnodes.py | 3 |
1 files changed, 3 insertions, 0 deletions
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) |