Update Dijkstra.cc