Fix a bug where if A implied B, and A was nuked, then the A->B implication wasn't removed.
21 KiB
21 KiB
Fix a bug where if A implied B, and A was nuked, then the A->B implication wasn't removed.