renameID: Fix bug when swapping two IDs

Signed-off-by: Niels Thykier <niels@thykier.net>
This commit is contained in:
Niels Thykier 2020-06-27 10:26:05 +00:00
parent 9a1286132f
commit f0788d5c0d
No known key found for this signature in database
GPG key ID: A65B78DBE67C7AAC

View file

@ -847,8 +847,6 @@ def renameID(idFrom, idTo, identifiedElements, referringNodes):
definingNode = identifiedElements[idFrom]
definingNode.setAttribute("id", idTo)
del identifiedElements[idFrom]
identifiedElements[idTo] = definingNode
num += len(idFrom) - len(idTo)
# Update references to renamed node