mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
"|"), pointed out by Jim Everitt. The error is pretty major, but because the section of code it affects is just eliminating unnecessary DRC rules, I believe that the only effect is that the DRC ruleset ends up using more memory than it needs to. But, good to have fixed.