1.1 --- a/src/work/jacint/dijkstra.h	Thu Mar 11 18:17:20 2004 +0000
     1.2 +++ b/src/work/jacint/dijkstra.h	Thu Mar 11 19:19:52 2004 +0000
     1.3 @@ -77,6 +77,7 @@
     1.4  	  T oldvalue=heap.get(v);
     1.5  	  heap.pop();
     1.6  	  distance.set(v, oldvalue);
     1.7 +	  scanned.set(v,true);
     1.8  
     1.9  	  OutEdgeIt e;
    1.10  	  for( G.getFirst(e,v); G.valid(e); G.next(e)) {
    1.11 @@ -93,7 +94,6 @@
    1.12  	      }
    1.13  	    }
    1.14  	  }
    1.15 -	  scanned.set(v,true);
    1.16  	}
    1.17        } 
    1.18