Remove a (now) unused parameter to renameID

Signed-off-by: Niels Thykier <niels@thykier.net>
This commit is contained in:
Niels Thykier 2018-04-15 17:36:07 +00:00
parent 91503c6d7e
commit e25b0dae73

View file

@ -738,7 +738,7 @@ def shortenIDs(doc, prefix, options):
# (e.g. remapping "c" to "a" is not going to win us anything) # (e.g. remapping "c" to "a" is not going to win us anything)
if len(curId) != len(rid): if len(curId) != len(rid):
# Then go rename it. # Then go rename it.
num += renameID(doc, rid, curId, identifiedElements, referencedIDs.get(rid)) num += renameID(rid, curId, identifiedElements, referencedIDs.get(rid))
elif curId < rid: elif curId < rid:
# If we skip reassigning an ID because it has the same length # If we skip reassigning an ID because it has the same length
# (E.g. skipping "c" -> "a"), then we have to mark the "future" # (E.g. skipping "c" -> "a"), then we have to mark the "future"
@ -769,7 +769,7 @@ def intToID(idnum, prefix):
return prefix + rid return prefix + rid
def renameID(doc, idFrom, idTo, identifiedElements, referringNodes): def renameID(idFrom, idTo, identifiedElements, referringNodes):
""" """
Changes the ID name from idFrom to idTo, on the declaring element Changes the ID name from idFrom to idTo, on the declaring element
as well as all nodes in referringNodes. as well as all nodes in referringNodes.