mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 01:24:51 +02:00
list for output, but that the code in ExtRegion.c does not sort a region's label list to keep ports at the beginning of the list. So any net with multiple labels may end up with a non-port label as the name of the node, which eventually becomes the name of the port. A quick fix keeps these lists sorted.