Commit 519ae96617e1e2867122c5dbbdc8f1bbce89cb24

Garret Rieger 2020-11-05T11:22:16

[subset] switch sort_shortest_distance() to use priority queue.