mirror of
https://github.com/ArthurSonzogni/Diagon.git
synced 2026-08-29 16:40:45 +08:00
ee3e3ed1c4
Before adding an edge to the Boost graph, check it has not been added. Apparently, this causes Boost graph adjacency list to misbehave. Bug:https://github.com/ArthurSonzogni/Diagon/issues/65