Update insertoverlay.py

Cette révision appartient à :
Yann Salmon
2020-10-26 22:42:46 +01:00
Parent dca84457c3
révision 8401bcd9a7

Voir le fichier

@@ -27,7 +27,7 @@ def do_file(fn, start=0) :
xs = set.union(*[extract(l) for l in ls])
# some integer overlays may not be referred to (especially 1), so we add them
xs |= set(range(1, int(max(xs))))
newi = dict(zip(sorted(xs), range(len(xs)+1)[1:]))
newi = dict(zip(sorted(xs), range(1, len(xs)+1)))
print(newi)
for l in ls:
sys.stdout.write(sub(l, newi))