mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-04 08:33:55 +02:00
was checking for device terminals that were pointing to the deallocated node and updating them. However, it failed to check for whether or not the substrate terminal was pointing to the deallocated node, potentially causing a crash condition. That has now been fixed.