Make a copy before you mutate it. In general, it is not safe to mutate the keys of a dictionary, which is what you are doing.
- [julia-users] Uniqueness check in PriorityQueue Júlio Hoffimann
- [julia-users] Re: Uniqueness check in PriorityQueue Steven G. Johnson
- Re: [julia-users] Re: Uniqueness check in Prior... Júlio Hoffimann