Const refs list should be `distinct()`
benjamin-bader opened this issue · 0 comments
benjamin-bader commented
We currently allow for the same Constant to appear in referencesConstants more than once. We should either make this member a Set or use distinct() when building it. Having duplicates will probably break the topo-sort algorithm.