mirror of
https://github.com/ArthurSonzogni/Diagon.git
synced 2026-08-30 00:50: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