mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-30 01:48:43 +02:00
did not need to be changed, but the line below it that depended on the layer being a contact type was wrong; the contact had to be identified independently of the last layer type, which might not be the contact cut type.