mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
the patch was attempting to fix. For node naming, ports were given precedence over globals. However, this failed to distinguish between ports on the top level and ports down in the hierarchy. This has now been fixed. Ports on the hierarchy top level have naming precedence over everything else; otherwise, the traditional rules of node naming precedence apply.