diff -r e46a1f0623a0 -r f2994a2b10b2 src/hugo/dijkstra.h --- a/src/hugo/dijkstra.h Tue Aug 31 11:26:59 2004 +0000 +++ b/src/hugo/dijkstra.h Tue Aug 31 13:40:07 2004 +0000 @@ -242,7 +242,6 @@ for(OutEdgeIt e(*G,v); e!=INVALID; ++e) { Node w=G->head(e); - switch(heap.state(w)) { case HeapType::PRE_HEAP: heap.push(w,oldvalue+(*length)[e]);