[julia-users] Re: Uniqueness check in PriorityQueue

[Steven G. Johnson]

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.