Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes
ConcurrentModificationException
(#1689)
Since the prev/nextDFG edges are mirrored, clearing them manually is actually triggering an exception now. This removes the manual removal.
- Loading branch information