mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 18:02:52 +02:00
added fairly recently when getting rid of crashes related to commands operating on non-edit cells. The lack of a cast was prevening compilation on systems with more rigorous error checking.